mathlib

00ed28cd - chore(100.yaml): Brouwer fix point (#18372)

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: