Def LieRinehartAlgebra.Hom.anchor

Modification history

2026-03-18 16:52

Mathlib/Algebra/LieRinehartAlgebra/Defs.lean

feat: added simp lemmas to LieRinehartAlgebra (#36650) …

Deleted LieRinehartAlgebra.Hom.anchor View on Github →

2026-01-25 15:24

Mathlib/Algebra/LieRinehartAlgebra/Defs.lean

feat: Defining Lie Rinehart algebras (#33690) …

Added LieRinehartAlgebra.Hom.anchor View on Github →