Theorem Equiv.subtypeQuotientEquivQuotientSubtype_symm_mk

Modification history