Def Equiv.sigmaSubtypeEquivOfSubset

Modification history