Will mathlib add the Isoperimetric theorem?
46%
chance
Jul 12
M$10 bet
Resolves according to [this list](https://leanprover-community.github.io/100.html). Resolves No if it hasn't been added by the close time.
BoltonBailey
Note: Resolves No if it hasn't been added by the close time.
0