Theorem UniformConvergenceCLM.add_apply

Modification history

2026-06-10 06:51
Mathlib/Topology/Algebra/Module/Spaces/UniformConvergenceCLM.lean
feat(Topology/Algebra): use `Is*Apply` for `UniformConvergenceCLM` (#40446) …
Deleted UniformConvergenceCLM.add_applyView on Github →
2026-03-31 20:10
Mathlib/Topology/Algebra/Module/Spaces/UniformConvergenceCLM.lean
chore: split `Topology.Algebra.Module.StrongTopology` (#37440)
Modified UniformConvergenceCLM.add_applyView on Github →
2025-11-19 02:28
Mathlib/Topology/Algebra/Module/StrongTopology.lean
feat(Analysis): the topology of pointwise convergence is locally convex (#31577) …
Added UniformConvergenceCLM.add_applyView on Github →