Commit 2022-03-31 12:28 6405a6ad
View on Github →feat(analysis/locally_convex): closed balanced sets are a basis of the topology (#12786) We prove some topological properties of the balanced core.
feat(analysis/locally_convex): closed balanced sets are a basis of the topology (#12786) We prove some topological properties of the balanced core.