Theorem Equiv.Perm.one_def

Modification history