Theorem UniformContinuous.iterate

Modification history

2025-02-10 19:51

Mathlib/Topology/UniformSpace/Basic.lean

chore(Topology/UniformSpace): split into `Defs` and `Basic` (#21664) …

Modified UniformContinuous.iterate View on Github →

2024-06-24 17:57

Mathlib/Topology/UniformSpace/Basic.lean

feat(Topology/UniformSpace): add `UniformContinuous.iterate ` (#14066) …

Added UniformContinuous.iterate View on Github →