Theorem Finset.disjSups_subset_iff

Modification history