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