Theorem LieDerivation.maxTrivSubmodule_eq_bot_of_center_eq_bot

Modification history

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