Theorem Equiv.Perm.MulAut.mul_def

Modification history