Theorem UniformSpace.isCover_iff_subset_iUnion_ball

Modification history

2025-12-19 15:37
Mathlib/Topology/UniformSpace/Defs.lean
refactor(Dynamics): use `SetRel` notions of separation and cover (#31259) …
Added UniformSpace.isCover_iff_subset_iUnion_ballView on Github →