Theorem Set.disjoint_of_subset_right

Modification history