Mathlib Changelog
v4
Changelog
About
Github
Def
uniformSpaceOfCompactR1
Modification history
2025-10-27 04:03
Mathlib/Topology/UniformSpace/OfCompactT2.lean
feat(Topology/UniformSpace/OfCompactT2): generalize theorem (#30917) …
Added
uniformSpaceOfCompactR1
View on Github →