Theorem Equiv.Perm.MulAut.conj_inv_apply

Modification history