Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-05-13 14:15
56258057
View on Github →
chore: speed up a proof of Baire (
#12842
) See the
Zulip discussion
.
Estimated changes
Modified
Mathlib/Topology/Baire/LocallyCompactRegular.lean