Theorem LocalEquiv.transEquiv_eq_trans

Modification history