Theorem Equiv.Perm.AddAut.neg_conj_apply

Modification history