Commit 2023-02-03 13:16 00ed28cd
View on Github →chore(100.yaml): Brouwer fix point (#18372) @Shamrock-Frost formalized Brouwer's fix point theorem a few months ago, and we never got around to adding this to the list of 100 theorems. This should be the 75th entry if I counted correctly :tada: