Will mathlib add the Isoperimetric theorem?

46%

chance

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.

Note: Resolves No if it hasn't been added by the close time.

Place your bet

Amount

Probability

46%→46%

Payout if YES

M$0(+0.0%)