Theorem Set.inter_eq_self_of_subset_left

Modification history