Theorem Finset.disjSups_singleton

Modification history