basic): results relating Lie algebra morphisms and ideal operations (#5778)

Commit

4 years ago

feat(algebra/lie/basic): results relating Lie algebra morphisms and ideal operations (#5778) The key results are `lie_ideal.comap_bracket_eq` and its corollary `lie_ideal.comap_bracket_incl`

Author

ocfnash

Parents

9381e37d

mathlib 66e955e4 - feat(algebra/lie/basic): results relating Lie algebra morphisms and ideal operations (#5778)

mathlib
66e955e4 - feat(algebra/lie/basic): results relating Lie algebra morphisms and ideal operations (#5778)