[Merged by Bors] - feat: add Finset.card_le_one_iff_subsingleton and Finset.one_lt_card_iff_nontrivial
#146
The logs for this run have expired and are no longer available.
Loading