Mathlib v3 is deprecated. Go to Mathlib v4

Theorem continuous_linear_map.strong_topology.locally_convex_space

Modification history

2023-03-27 11:20
src/analysis/locally_convex/strong_topology.lean
refactor(topology/algebra/module/strong_topology): split of local convexity (#18671) …
Modified continuous_linear_map.strong_topology.locally_convex_spaceView on Github →
2022-12-06 14:57
src/topology/algebra/module/strong_topology.lean
feat(topology/algebra/module/strong_topology): strong topology on continuous linear maps is locally convex and T2 (#16794)
Added continuous_linear_map.strong_topology.locally_convex_spaceView on Github →