Mathlib v3 is deprecated. Go to Mathlib v4

Theorem lie_hom.to_non_unital_alg_hom_injective

Modification history

2021-07-01 18:15
src/algebra/lie/non_unital_non_assoc_algebra.lean
chore(algebra/lie/free): tidy up after #8153 (#8163) …
Added lie_hom.to_non_unital_alg_hom_injectiveView on Github →