Theorem Set.ite_subset_union

Modification history