alt Hacker NewsReally nice "proof guide": https://gaearon.github.io/conway-refinement/#/highlights
and "proof map": https://gaearon.github.io/conway-refinement/#/map/conway-ref...
Really nice "proof guide": https://gaearon.github.io/conway-refinement/#/highlights
and "proof map": https://gaearon.github.io/conway-refinement/#/map/conway-ref...
My god, that proof map has so many parts O.O