Theorem LocalEquiv.refl_trans

Modification history