Mathlib v3 is deprecated. Go to Mathlib v4

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.

Estimated changes