mul_action.lean): add smul_const (#7242)

Commit

4 years ago

feat(topology/algebra/mul_action.lean): add smul_const (#7242) add filter.tendsto.smul_const

Author

YaelDillies

Parents