Def uniformSpaceOfCompactR1

Modification history

2025-10-27 04:03
Mathlib/Topology/UniformSpace/OfCompactT2.lean
feat(Topology/UniformSpace/OfCompactT2): generalize theorem (#30917) …
Added uniformSpaceOfCompactR1View on Github →