Commit 2022-09-14 16:17 5cbe3c4f
View on Github →chore(data/finset/powerset): generalize powerset_len_nonempty (#16429)
powerset_len_nonempty
holds for n ≤ s.card
.
chore(data/finset/powerset): generalize powerset_len_nonempty (#16429)
powerset_len_nonempty
holds for n ≤ s.card
.