Theorem LieDerivation.lie_ad

Modification history

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