Mathlib v3 is deprecated. Go to Mathlib v4

Theorem continuous_linear_map.strong_topology.t2_space

Modification history

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.t2_space View on Github →