Theorem Disjoint.right_lt_sup_of_left_ne_bot

Modification history