3 ms·
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
by don_esteban 2mo 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.