Theorem ContinuousMap.isComplete_setOf_eqOn

Modification history

2026-07-17 09:57
Mathlib/Topology/UniformSpace/CompactConvergence.lean
chore(Data): rename `setOf` to `Set.ofPred` (#41507) …
Deleted ContinuousMap.isComplete_setOf_eqOnView on Github →
2025-09-19 12:18
Mathlib/Topology/UniformSpace/CompactConvergence.lean
feat(Topology/UniformSpace/Path): new file (#24105)
Added ContinuousMap.isComplete_setOf_eqOnView on Github →