Def Equiv.subtypeSigmaEquiv

Modification history