Theorem specializes_iff_not_disjoint

Modification history