Theorem ExteriorAlgebra.basis_eq_coe_basis

Modification history

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