Theorem List.inter_eq_nil_iff_disjoint

Modification history