Commit 2022-07-16 20:36 d69acdc9
View on Github →feat(data/finset/powerset): More powerset
lemmas (#15387)
finset.powerset
is injective, and others.
feat(data/finset/powerset): More powerset
lemmas (#15387)
finset.powerset
is injective, and others.