Theorem LieRinehartAlgebra.LieRinehartRing.lie_smul_eq_mul

Modification history

2026-03-18 16:52
Mathlib/Algebra/LieRinehartAlgebra/Defs.lean
feat: added simp lemmas to LieRinehartAlgebra (#36650) …
Added LieRinehartAlgebra.LieRinehartRing.lie_smul_eq_mulView on Github →