Def Equiv.sigmaCongrLeft

Modification history