Theorem Set.sup_eq_union

Modification history