Documentation
CombinatorialGames
Search
return to top
source
Imports
Init
CombinatorialGames.NatOrdinal
CombinatorialGames.Counterexamples.Multiplication
CombinatorialGames.Game.Basic
CombinatorialGames.Game.Birthday
CombinatorialGames.Game.Canonical
CombinatorialGames.Game.Concrete
CombinatorialGames.Game.Functor
CombinatorialGames.Game.IGame
CombinatorialGames.Game.Order
CombinatorialGames.Game.Ordinal
CombinatorialGames.Game.Short
CombinatorialGames.Game.Small
CombinatorialGames.Game.Special
CombinatorialGames.Mathlib.Concept
CombinatorialGames.Mathlib.Dyadic
CombinatorialGames.Mathlib.Finlift
CombinatorialGames.Mathlib.Neg
CombinatorialGames.Mathlib.Order
CombinatorialGames.Mathlib.Small
CombinatorialGames.Mathlib.WithTop
CombinatorialGames.Nimber.Basic
CombinatorialGames.Nimber.Field
CombinatorialGames.Nimber.Simplicity
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.GameCmp
CombinatorialGames.Tactic.OrdinalAlias
CombinatorialGames.Tactic.Register
CombinatorialGames.Test.GameCmp
CombinatorialGames.Game.Computability.FGame
CombinatorialGames.Game.Impartial.Basic
CombinatorialGames.Game.Impartial.Grundy
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.Surreal.Birthday.Basic
CombinatorialGames.Surreal.Birthday.Cut
CombinatorialGames.Surreal.Dyadic.Basic
CombinatorialGames.Surreal.Dyadic.Birthday
Imported by