Theorem Set.powersetCard.ofCard_coe

Modification history

2026-03-06 04:53
Mathlib/Data/Set/PowersetCard.lean
feat(LinearAlgebra/ExteriorAlgebra): `Basis` for `ExteriorAlgebra` (#35424) …
Added Set.powersetCard.ofCard_coeView on Github →