Theorem Equiv.Perm.disjoint_inv_left_iff

Modification history