Theorem Set.ite_eq_of_subset_right

Modification history