Theorem tendstoLocallyUniformlyOn_tfae

Modification history

2026-10-28 08:06

Mathlib/Topology/UniformSpace/LocallyUniformConvergence.lean

chore: decapitalize `TFAE` in theorem names (#45348) …

Added tendstoLocallyUniformlyOn_tfae View on Github →