Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-07-01 18:15 395d8716

View on Github →

chore(algebra/lie/free): tidy up after #8153 (#8163) @eric-wieser had some further comments and suggestions which didn't make it into #8153

Estimated changes

Modified src/algebra/free_non_unital_non_assoc_algebra.lean

Modified src/algebra/lie/free.lean

modified theorem free_lie_algebra.hom_ext

added theorem free_lie_algebra.rel.neg

Modified src/algebra/lie/non_unital_non_assoc_algebra.lean

modified def lie_hom.to_non_unital_alg_hom

added theorem lie_hom.to_non_unital_alg_hom_injective