Theorem DiscreteUniformity.eq_principal_setRelId

Modification history

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