Theorem Equiv.Perm.eq_inv_iff_eq

Modification history