Documentation
LeanPool
.
ConwayRefinement
.
CombinatorialGames
Search
return to top
source
Imports
Init
LeanPool.ConwayRefinement.CombinatorialGames.Game
LeanPool.ConwayRefinement.CombinatorialGames.Mathlib
LeanPool.ConwayRefinement.CombinatorialGames.NatOrdinal
LeanPool.ConwayRefinement.CombinatorialGames.Surreal
LeanPool.ConwayRefinement.CombinatorialGames.Tactic
Imported by
Supporting modules for Conway refinement for omnific integers.