Documentation
CombinatorialGames
Search
return to top
source
Imports
Init
CombinatorialGames.Counterexamples.Multiplication
CombinatorialGames.Game.Basic
CombinatorialGames.Game.Birthday
CombinatorialGames.Game.Canonical
CombinatorialGames.Game.Functor
CombinatorialGames.Game.Graph
CombinatorialGames.Game.IGame
CombinatorialGames.Game.Order
CombinatorialGames.Game.Ordinal
CombinatorialGames.Game.Player
CombinatorialGames.Game.Short
CombinatorialGames.Game.Small
CombinatorialGames.Game.Special
CombinatorialGames.Mathlib.Dyadic
CombinatorialGames.Mathlib.Finlift
CombinatorialGames.Mathlib.Neg
CombinatorialGames.Mathlib.Order
CombinatorialGames.Mathlib.Small
CombinatorialGames.Mathlib.WithTop
CombinatorialGames.NatOrdinal.Basic
CombinatorialGames.NatOrdinal.Pow
CombinatorialGames.Nimber.Basic
CombinatorialGames.Nimber.Field
CombinatorialGames.Nimber.Nat
CombinatorialGames.Surreal.Basic
CombinatorialGames.Surreal.Cut
CombinatorialGames.Surreal.Division
CombinatorialGames.Surreal.Multiplication
CombinatorialGames.Surreal.Ordinal
CombinatorialGames.Surreal.Pow
CombinatorialGames.Surreal.Real
CombinatorialGames.Surreal.Sign
CombinatorialGames.Tactic.AddInstances
CombinatorialGames.Tactic.GameCmp
CombinatorialGames.Tactic.OrdinalAlias
CombinatorialGames.Tactic.Register
CombinatorialGames.Test.GameCmp
CombinatorialGames.Game.Computability.FGame
CombinatorialGames.Game.Impartial.Basic
CombinatorialGames.Game.Impartial.Grundy
CombinatorialGames.Game.Impartial.Multiplication
CombinatorialGames.Game.Loopy.Basic
CombinatorialGames.Game.Loopy.IGame
CombinatorialGames.Game.Loopy.Outcome
CombinatorialGames.Game.Specific.Domineering
CombinatorialGames.Game.Specific.Nim
CombinatorialGames.Game.Specific.Poset
CombinatorialGames.Nimber.SimplestExtension.Algebraic
CombinatorialGames.Nimber.SimplestExtension.Basic
CombinatorialGames.Nimber.SimplestExtension.Polynomial
CombinatorialGames.Surreal.Birthday.Basic
CombinatorialGames.Surreal.Birthday.Cut
CombinatorialGames.Surreal.Dyadic.Basic
CombinatorialGames.Surreal.Dyadic.Birthday
Imported by