Theorem Equiv.Perm.one_symm

Modification history