Theorem Set.powersetCard.prodEquiv_symm_apply

Modification history

2026-03-06 04:53
Mathlib/Data/Set/PowersetCard.lean
feat(LinearAlgebra/ExteriorAlgebra): `Basis` for `ExteriorAlgebra` (#35424) …
Modified Set.powersetCard.prodEquiv_symm_applyView on Github →
2026-02-17 21:47
Mathlib/Data/Set/PowersetCard.lean
feat(Data/Set/PowersetCard): definitions on `Set.powersetCard` (#35432) …
Added Set.powersetCard.prodEquiv_symm_applyView on Github →