Structure LieRinehartAlgebra.Hom

Modification history

2026-01-25 15:24

Mathlib/Algebra/LieRinehartAlgebra/Defs.lean

feat: Defining Lie Rinehart algebras (#33690) …

Added LieRinehartAlgebra.Hom View on Github →