Theorem UniformFun.isClosed_setOf_continuous

Modification history

2024-03-08 16:17
Mathlib/Topology/UniformSpace/UniformConvergenceTopology.lean
feat(UniformConvergenceTopology): add `isClosed_setOf_continuous` (#10902) …
Added UniformFun.isClosed_setOf_continuousView on Github →