Theorem Set.disjoint_iff_inter_eq_empty

Modification history