Theorem ExteriorAlgebra.basis_apply

Modification history

2026-03-06 04:53

Mathlib/LinearAlgebra/ExteriorAlgebra/Basis.lean

feat(LinearAlgebra/ExteriorAlgebra): `Basis` for `ExteriorAlgebra` (#35424) …

Added ExteriorAlgebra.basis_apply View on Github →