Theorem Equiv.Perm.disjoint_iff_disjoint_support

Modification history