Theorem Equiv.Perm.AddAut.conj_inv_apply

Modification history