Commit 2024-06-24 17:57 a3001aa1
View on Github →feat(Topology/UniformSpace): add UniformContinuous.iterate (#14066)
This PR adds the theorem UniformContinuous.iterate claiming that if a function T is uniformly continuous in a uniform space β, then its n-th iterate T^[n] is also uniformly continuous.