Def Set.powersetCard.ofFinEmb

Modification history

2026-02-12 04:48

Mathlib/Data/Set/PowersetCard.lean

chore: separate basic API for `Set.powersetCard` (#35068) …

Added Set.powersetCard.ofFinEmb View on Github →