Theorem UniformConvergenceCLM.ext

Modification history

2026-04-07 10:49

Mathlib/Topology/Algebra/Module/Spaces/UniformConvergenceCLM.lean

feat: notation for `UniformConvergenceCLM` (#37614)

Modified UniformConvergenceCLM.ext View on Github →

2026-03-31 20:10

Mathlib/Topology/Algebra/Module/Spaces/UniformConvergenceCLM.lean

chore: split `Topology.Algebra.Module.StrongTopology` (#37440)

Modified UniformConvergenceCLM.ext View on Github →

2025-11-10 12:50

Mathlib/Topology/Algebra/Module/StrongTopology.lean

chore(Topology/Algebra): add missing `ext` lemma for `UniformConvergenceCLM` (#31456)

Added UniformConvergenceCLM.ext View on Github →