Theorem LocalEquiv.refl_coe

Modification history