Theorem discreteUniformity_iff_setRelId_mem_uniformity

Modification history

2025-12-20 07:33
Mathlib/Topology/UniformSpace/DiscreteUniformity.lean
chore: rename `relId` to `setRelId` in lemma names (#33073) …
Added discreteUniformity_iff_setRelId_mem_uniformityView on Github →