Theorem disjoin_le

Modification history