Theorem Equiv.Perm.AddAut.mul_apply

Modification history