Theorem Derivation.bracket_eq_fun

Modification history

2026-01-25 15:24
Mathlib/RingTheory/Derivation/Lie.lean
feat: Defining Lie Rinehart algebras (#33690) …
Added Derivation.bracket_eq_funView on Github →