Theorem disjoint_disjointed

Modification history