Documentation
LeanPool
.
ConwayRefinement
.
CombinatorialGames
.
Game
Search
return to top
source
Imports
Init
LeanPool.ConwayRefinement.CombinatorialGames.Game.Basic
LeanPool.ConwayRefinement.CombinatorialGames.Game.Birthday
LeanPool.ConwayRefinement.CombinatorialGames.Game.Classes
LeanPool.ConwayRefinement.CombinatorialGames.Game.Functor
LeanPool.ConwayRefinement.CombinatorialGames.Game.IGame
LeanPool.ConwayRefinement.CombinatorialGames.Game.Ordinal
LeanPool.ConwayRefinement.CombinatorialGames.Game.Player
LeanPool.ConwayRefinement.CombinatorialGames.Game.Special
Imported by
Supporting modules for Conway refinement for omnific integers.