Mathlib Changelog
v4
Changelog
About
Github
Def
LieRing.toNonUnitalNonAssocRing
Modification history
2025-03-16 23:10
Mathlib/Algebra/Lie/Basic.lean
feat: the exponential of nilpotent Lie algebra derivatation is an automorphism (#22607)
Added
LieRing.toNonUnitalNonAssocRing
View on Github →