mathlib
20db2fb2 - refactor(topology/algebra/module): `map_smul` argument swap (#7233)

Commit
4 years ago
refactor(topology/algebra/module): `map_smul` argument swap (#7233) swap the arguments of map_smul to make dot notation work
Author
Parents
Loading