Def UniversalEnvelopingAlgebra

Modification history

2026-06-23 00:12

Mathlib/Algebra/Lie/UniversalEnveloping.lean

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

Modified UniversalEnvelopingAlgebra View on Github →

2023-06-08 09:01

Mathlib/Algebra/Lie/UniversalEnveloping.lean

feat: port Algebra.Lie.UniversalEnveloping (#4827)

Added UniversalEnvelopingAlgebra View on Github →