Theorem ExteriorAlgebra.basis_apply_powersetCard

Modification history

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