Theorem Equiv.transLocalEquiv_eq_trans

Modification history