Theorem Equiv.Perm.sigmaCongrRight_symm

Modification history