Theorem Equiv.Perm.AddAut.one_apply

Modification history