Commit 2026-03-06 04:53 27a737d4

feat(LinearAlgebra/ExteriorAlgebra): Basis for ExteriorAlgebra (#35424) Adds a basis for the ExteriorAlgebra over a module given a basis for that module along with some basic API. Important lemmas include

• basis_eq_coe_basis : each basis element on ExteriorAlgebra corresponds to a basis element on an exteriorPower
• basis_mul_of_not_disjoint : the product of basis elements whose index sets are not disjoint
• basis_mul_of_disjoint : the product of basis elements whose index sets are disjoint