Theorem LieDerivation.lie_apply

Modification history

2024-04-26 06:26
Mathlib/Algebra/Lie/Derivation/Basic.lean
feat: define Lie module structure on derivations (#12315) …
Added LieDerivation.lie_applyView on Github →