mathlib
5f6d30ec - chore(*): move `has_scalar` instances before `add_comm_monoid` instances (#12502)

Commit

4 years ago

chore(*): move `has_scalar` instances before `add_comm_monoid` instances (#12502) This makes it easier for us to set `nsmul` and `zsmul` in future.

Author

eric-wieser

Parents