Def UniversalEnvelopingAlgebra.mkAlgHom

Modification history

2023-06-08 09:01

Mathlib/Algebra/Lie/UniversalEnveloping.lean

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

Added UniversalEnvelopingAlgebra.mkAlgHom View on Github →