Def Set.powersetCard.ofCard

Modification history

2026-02-17 21:47

Mathlib/Data/Set/PowersetCard.lean

feat(Data/Set/PowersetCard): definitions on `Set.powersetCard` (#35432) …

Added Set.powersetCard.ofCard View on Github →