Theorem Equiv.Perm.MulAut.one_def

Modification history