Def Finset.powersetLen

Modification history

2023-10-17 20:58

Mathlib/Data/Finset/Powerset.lean

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

Deleted Finset.powersetLen View on Github →

2023-01-17 13:11

Mathlib/Data/Finset/Powerset.lean

feat: port Data.Finset.Powerset (#1622)

Added Finset.powersetLen View on Github →