[Merged by Bors] - feat(LinearAlgebra/CliffordAlgebra): support towers of algebras#6074

eric-wieser wants to merge 16 commits into

masterleanprover-community/mathlib4:masterfrom

eric-wieser/tower-CliffordAlgebraleanprover-community/mathlib4:eric-wieser/tower-CliffordAlgebraCopy head branch name to clipboard