|
|
|
|
|
|
by don_esteban
18 hours ago
|
|
|
Well, there are not that many proofs from 'The Book'. We are a bit ahead of time, currently I would settle for 'as easy to understand as possible' proof. Not a long, complicated, inpenetrable, mess, that Lean says is correct, but reading it provides no insight. |
|
|