monoid): add missing `has_continuous_const_smul` instances (#13987)

Commit

3 years ago

feat(topology/algebra/monoid): add missing `has_continuous_const_smul` instances (#13987) This makes an argument to `exp` redundant.

Author

eric-wieser

Parents