mathlib
77312bef - feat(algebra/module/submodule): add `smul_of_tower_mem`

Commit

4 years ago

feat(algebra/module/submodule): add `smul_of_tower_mem`

Author

eric-wieser

eric-wieser

Committer

eric-wieser

eric-wieser

Parents

Loading