pointwise): lemmas about `*` and `to_submodule` (#12695)

Commit

3 years ago

feat(algebra/algebra/subalgebra/pointwise): lemmas about `*` and `to_submodule` (#12695)

Author

eric-wieser

Parents