Theorem Set.union_eq_self_of_subset_right

Modification history