powerset): generalize powerset_len_nonempty (#16429)

Commit

4 years ago

chore(data/finset/powerset): generalize powerset_len_nonempty (#16429) `powerset_len_nonempty` holds for `n ≤ s.card`.

Author

mariainesdff

Committer

b-mehta

Parents