Conway refinement for omnific integers

Source: url:https://github.com/gaearon/conway-refinement Authors: Dan Abramov Status: verified Main declarations: ConwayRefinement.Palomar.conwayRefinement Tags: surreal-numbers, ordered-algebra, factorization MSC: 06A05, 13F25