Theorem Equiv.Perm.inv_eq_iff_eq

Modification history