[Merged by Bors] - feat(Algebra/TensorAlgebra): support towers of algebras#6073

eric-wieser wants to merge 17 commits into

masterleanprover-community/mathlib4:masterfrom

eric-wieser/tower-TensorAlgebraleanprover-community/mathlib4:eric-wieser/tower-TensorAlgebraCopy head branch name to clipboard