powerset): More `powerset` lemmas (#15387)

Commit

3 years ago

feat(data/finset/powerset): More `powerset` lemmas (#15387) `finset.powerset` is injective, and others.

Author

YaelDillies

Parents