Theorem Equiv.Perm.sigmaCongrRight_refl

Modification history