Theorem LieAlgebra.toModule_injective

Modification history

2025-03-12 08:53
Mathlib/Algebra/Lie/Basic.lean
feat: a Lie ring supports at most one Lie algebra structure over `ℚ` (#22855)
Added LieAlgebra.toModule_injectiveView on Github →