module): has_continuous_smul (#9468)

Commit

4 years ago

feat(topology/algebra/module): has_continuous_smul (#9468) in terms of nice neighborhoods of zero

Author

PatrickMassot

Parents