Theorem disjoint_of_sSup_disjoint

Modification history