operator_norm): strong operator topology (#16053)

Commit

3 years ago

feat(topology/algebra/module/strong_operator, analysis/normed_space/operator_norm): strong operator topology (#16053)

Author

ADedecker

Parents