Mathlib Changelog
v4
Changelog
About
Github
Commit
2026-10-18 08:25
84f0bff6
View on Github →
doc(Topology): update documentation to match variable name in code (
#44987
)
Estimated changes
Modified
Mathlib/Topology/UniformSpace/Compact.lean