Def SymmetricAlgebra.lift

Modification history

2026-06-23 00:12

Mathlib/LinearAlgebra/SymmetricAlgebra/Basic.lean

refactor: switch from RingQuot to RingCon.Quotient (#40451) …

Modified SymmetricAlgebra.lift View on Github →

2025-05-11 14:01

Mathlib/LinearAlgebra/SymmetricAlgebra/Basic.lean

feat(LinearAlgebra): Symmetric Algebra (#21539) …

Added SymmetricAlgebra.lift View on Github →