Theorem Disjoint.eq_iff

Modification history