Inductive UniversalEnvelopingAlgebra.Rel

Modification history

2023-06-08 09:01

Mathlib/Algebra/Lie/UniversalEnveloping.lean

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

Added UniversalEnvelopingAlgebra.Rel View on Github →