mathlib3
6405a6ad - feat(analysis/locally_convex): closed balanced sets are a basis of the topology (#12786)

Commit

3 years ago

feat(analysis/locally_convex): closed balanced sets are a basis of the topology (#12786) We prove some topological properties of the balanced core.

Author

mcdoll

Parents