Theorem Finset.disjSups_subset_right

Modification history