Conway's refinement theorem

This module connects Palomar's advertised declaration to the proof.

theorem ConwayRefinement.Palomar.conwayRefinement : Standalone.InlineConwayRefinement.Surreal.ConwayConjecture

Conway's refinement theorem for omnific integers, stated from first principles.