Commit 2024-05-13 14:15 56258057

View on Github →

chore: speed up a proof of Baire (#12842) See the Zulip discussion.

Estimated changes