Theorem Equiv.toEquiv_inducedStructureEquiv

Modification history