Theorem Set.ite_eq_of_subset_left

Modification history