Theorem Finset.powersetCard_empty

Modification history

2024-01-08 11:01

Mathlib/Data/Finset/Powerset.lean

feat: Basic finset lemmas (#9530) …

Deleted Finset.powersetCard_empty View on Github →

2023-10-17 20:58

Mathlib/Data/Finset/Powerset.lean

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

Added Finset.powersetCard_empty View on Github →