Theorem Multiset.powersetCard_empty

Modification history

2024-01-08 11:01

Mathlib/Data/Multiset/Powerset.lean

feat: Basic finset lemmas (#9530) …

Deleted Multiset.powersetCard_empty View on Github →

2023-10-17 20:58

Mathlib/Data/Multiset/Powerset.lean

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

Added Multiset.powersetCard_empty View on Github →