Theorem LocalEquiv.pi_refl

Modification history