Theorem Finset.disjSups_empty_left

Modification history