Theorem Set.disjoint_iff_forall_ne

Modification history