Def PointwiseConvergenceCLM.inducingFn

Modification history

2025-11-19 02:28
Mathlib/Analysis/LocallyConvex/PointwiseConvergence.lean
feat(Analysis): the topology of pointwise convergence is locally convex (#31577) …
Added PointwiseConvergenceCLM.inducingFnView on Github →