Def Equiv.sigmaCongrRight

Modification history