Corrections to induction and symmetry for equality type.
Corrections to induction and symmetry for equality type.

siddhartha-gadgil/ProvingGround,siddhartha-gadgil/ProvingGround,siddhartha-gadgil/ProvingGround,siddhartha-gadgil/ProvingGround