Theorem LieRinehartAlgebra.Hom.anchor_derivation

Modification history

2026-03-18 16:52
Mathlib/Algebra/LieRinehartAlgebra/Defs.lean
feat: added simp lemmas to LieRinehartAlgebra (#36650) …
Deleted LieRinehartAlgebra.Hom.anchor_derivationView on Github →
2026-01-25 15:24
Mathlib/Algebra/LieRinehartAlgebra/Defs.lean
feat: Defining Lie Rinehart algebras (#33690) …
Added LieRinehartAlgebra.Hom.anchor_derivationView on Github →