Theorem Equiv.Perm.MulAut.inv_def

Modification history