Def Equiv.subtypeQuotientEquivQuotientSubtype

Modification history