Def LieRinehartAlgebra.Hom.toLinearMap'

Modification history

2026-01-25 15:24
Mathlib/Algebra/LieRinehartAlgebra/Defs.lean
feat: Defining Lie Rinehart algebras (#33690) …
Added LieRinehartAlgebra.Hom.toLinearMap'View on Github →