Theorem Equiv.trans_toPartialEquiv

Modification history