Commit 2026-03-24 23:14 81059bbf

View on Github →

doc(Topology): fix typos (#37089) We fix a batch of typos that were flagged by PyCharm's proofreading inspection.

Estimated changes

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

Modified Mathlib/Topology/Algebra/InfiniteSum/Ring.lean

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

Modified Mathlib/Topology/Compactness/Lindelof.lean

Modified Mathlib/Topology/MetricSpace/Gluing.lean

Modified Mathlib/Topology/Semicontinuity/Lindelof.lean