Theorem LieDerivation.lie_coe_lieDerivation_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_coe_lieDerivation_applyView on Github →