Theorem Equiv.Perm.sigmaCongrRight_trans

Modification history