Theorem Equiv.toOrderIso_toEquiv

Modification history