Documentation
LeanPool
.
ConwayRefinement
.
CombinatorialGames
.
Surreal
Search
return to top
source
Imports
Init
LeanPool.ConwayRefinement.CombinatorialGames.Surreal.Basic
LeanPool.ConwayRefinement.CombinatorialGames.Surreal.Birthday
LeanPool.ConwayRefinement.CombinatorialGames.Surreal.Division
LeanPool.ConwayRefinement.CombinatorialGames.Surreal.Dyadic
LeanPool.ConwayRefinement.CombinatorialGames.Surreal.HahnSeries
LeanPool.ConwayRefinement.CombinatorialGames.Surreal.Leading
LeanPool.ConwayRefinement.CombinatorialGames.Surreal.Multiplication
LeanPool.ConwayRefinement.CombinatorialGames.Surreal.Ordinal
LeanPool.ConwayRefinement.CombinatorialGames.Surreal.Pow
LeanPool.ConwayRefinement.CombinatorialGames.Surreal.Real
Imported by
Supporting modules for Conway refinement for omnific integers.