Commit 2025-11-19 02:28 1e783fb5
View on Github →feat(Analysis): the topology of pointwise convergence is locally convex (#31577)
Show that the pointwise convergence topology is locally convex both in the sense of WithSeminorms and LocallyConvexSpace.