Documentation
LeanPool
.
ConwayRefinement
.
CombinatorialGames
.
Tactic
Search
return to top
source
Imports
Init
LeanPool.ConwayRefinement.CombinatorialGames.Tactic.AddInstances
LeanPool.ConwayRefinement.CombinatorialGames.Tactic.GameCmp
LeanPool.ConwayRefinement.CombinatorialGames.Tactic.OrdinalAlias
LeanPool.ConwayRefinement.CombinatorialGames.Tactic.Register
Imported by
Supporting modules for Conway refinement for omnific integers.