Theorem Set.disjoint_of_subset_iff_left_eq_empty

Modification history