basic): define pull back of a Lie module along a morphism of Lie algebras. (#11819)

Commit

3 years ago

feat(algebra/lie/basic): define pull back of a Lie module along a morphism of Lie algebras. (#11819)

Author

ocfnash

Parents