quotient): first isomorphism theorem for morphisms of Lie algebras (#11826)

Commit

3 years ago

feat(algebra/lie/quotient): first isomorphism theorem for morphisms of Lie algebras (#11826)

Author

ocfnash

Parents