Theorem Equiv.Perm.disjoint_inv_right_iff

Modification history