Theorem leibniz_lie

Modification history

2025-01-03 11:02
Mathlib/Algebra/Lie/Basic.lean
feat(Algebra/Lie): add `LieTower` typeclass abstracting the Leibniz rule (#20403) …
Modified leibniz_lieView on Github →
2023-02-27 13:06
Mathlib/Algebra/Lie/Basic.lean
feat: port Algebra.Lie.Basic (#2262)
Added leibniz_lieView on Github →