Documentation
LeanPool
.
ConwayRefinement
.
ConwayRefinement
.
Examples
.
OmnificInteger
Search
return to top
source
Imports
Init
LeanPool.ConwayRefinement.ConwayRefinement.Examples.OmnificInteger.DegreeTwoNormalForm
LeanPool.ConwayRefinement.ConwayRefinement.Examples.OmnificInteger.DegreeTwoPrime
LeanPool.ConwayRefinement.ConwayRefinement.Examples.OmnificInteger.OneRowNormalForm
LeanPool.ConwayRefinement.ConwayRefinement.Examples.OmnificInteger.OneRowPrime
LeanPool.ConwayRefinement.ConwayRefinement.Examples.OmnificInteger.ZFCDegreeTwoPrime
Imported by
Supporting modules for Conway refinement for omnific integers.