Theorem Equiv.transPartialEquiv_eq_trans

Modification history