Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-03-20 06:09
7ac5d2d4
View on Github →
feat(UniformSpace/Defs): mem_uniformity_ofCore_iff (
#23115
)
Estimated changes
Modified
Mathlib/Topology/UniformSpace/Defs.lean
added
theorem
UniformSpace.mem_uniformity_ofCore_iff