operations): pointwise mul_semiring_action on submodules (#15877)

Commit

3 years ago

feat(algebra/algebra/operations): pointwise mul_semiring_action on submodules (#15877)

Author

eric-wieser

Parents