Full threadmihau·Really nice "proof guide": https://gaearon.github.io/conway-refinement/#/highlightsand "proof map": https://gaearon.github.io/conway-refinement/#/map/conway-ref...View on HN