with_seminorms): in a normed space, von Neumann bounded = metric bounded (#15124)

Commit

3 years ago

feat(analysis/locally_convex/with_seminorms): in a normed space, von Neumann bounded = metric bounded (#15124)

Author

ADedecker

Parents