Theorem Finset.powersetCard_zero

Modification history

2023-12-19 00:17

Mathlib/Data/Finset/Powerset.lean

feat: `Finset/Multiset.powersetCard 1` (#9137) …

Modified Finset.powersetCard_zero View on Github →

2023-10-17 20:58

Mathlib/Data/Finset/Powerset.lean

chore: rename Finset.powersetLen to powersetCard (#7667) …

Added Finset.powersetCard_zero View on Github →