# Commit 2019-06-05 07:54 a7524b63

View on Github →refactor(analysis/normed_space/operator_norm): topological modules (#1085)

- refactor(analysis/normed_space/operator_norm): topological modules
- remove useless typeclass in definition of topological module
- refactor(analysis/normed_space/operator_norm): style