Commit 2025-05-11 14:01 a5582bc4

feat(LinearAlgebra): Symmetric Algebra (#21539) Defined the universal property for the symmetric algebra of a module over a commutative ring, provided an explicit construction and proved that this satisfies the universal property. Also proved that the multivariate polynomial ring generated by a basis of a module satisfies the universal property of the symmetric algebra of that module.