Theorem Equiv.Perm.AddAut.inv_def

Modification history