Def Equiv.sigmaPreimageEquiv

Modification history