Theorem SymmetricAlgebra.algHom_surjective

Modification history

2026-06-23 00:12
Mathlib/LinearAlgebra/SymmetricAlgebra/Basic.lean
refactor: switch from RingQuot to RingCon.Quotient (#40451) …
Modified SymmetricAlgebra.algHom_surjectiveView on Github →
2025-05-11 14:01
Mathlib/LinearAlgebra/SymmetricAlgebra/Basic.lean
feat(LinearAlgebra): Symmetric Algebra (#21539) …
Added SymmetricAlgebra.algHom_surjectiveView on Github →