Theorem Equiv.Perm.MulAut.mul_apply

Modification history