Theorem Finset.disjSups_inter_subset_left

Modification history