Commit 2025-11-10 12:50 c7a3fc27

View on Github →

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

Estimated changes

Modified Mathlib/Topology/Algebra/Module/StrongTopology.lean

added theorem UniformConvergenceCLM.ext