Theorem Finset.disjSups_inter_subset_right

Modification history