mathlib3
38ac9ba7 - chore(algebra/module/submodule): add submodule.coe_sum (#8393)

Commit

4 years ago

chore(algebra/module/submodule): add submodule.coe_sum (#8393)

Author

eric-wieser

eric-wieser

Parents

Loading