mathlib3
c2958736 - feat(algebra/module/basic): {nat,int}_smul_apply (#5308)

Commit

5 years ago

feat(algebra/module/basic): {nat,int}_smul_apply (#5308)

Author

jcommelin

jcommelin

Parents

Loading