Theorem Equiv.sigmaCongrRight_sigmaEquivProd

Modification history