Theorem LieDerivation.ad_apply_lieDerivation

Modification history

2025-12-20 10:21
Mathlib/Algebra/Lie/Derivation/AdjointAction.lean
chore(Algebra): fix whitespace (#32906)
Modified LieDerivation.ad_apply_lieDerivationView on Github →
2024-04-26 06:26
Mathlib/Algebra/Lie/Derivation/AdjointAction.lean
feat: define Lie module structure on derivations (#12315) …
Added LieDerivation.ad_apply_lieDerivationView on Github →