mathlib
50a843e0 - chore(algebra/module/submodule): add missing coe lemmas (#7205)

Commit

4 years ago

chore(algebra/module/submodule): add missing coe lemmas (#7205)

Author

eric-wieser

eric-wieser

Parents

Loading