Commit 2022-03-20 20:14 656f7494

View on Github →

feat(analysis/locally_convex): define von Neumann boundedness (#12449) Define the von Neumann boundedness and show elementary properties, including that it defines a bornology.

Estimated changes