Documentation
CombinatorialGames
Search
return to top
source
Imports
Init
CombinatorialGames.NatOrdinal
CombinatorialGames.Register
CombinatorialGames.Test
CombinatorialGames.Counterexamples.Multiplication
CombinatorialGames.Game.Basic
CombinatorialGames.Game.Birthday
CombinatorialGames.Game.Concrete
CombinatorialGames.Game.IGame
CombinatorialGames.Game.Impartial
CombinatorialGames.Game.Ordinal
CombinatorialGames.Game.Short
CombinatorialGames.Game.Small
CombinatorialGames.Game.Special
CombinatorialGames.Game.Tactic
CombinatorialGames.Mathlib.Order
CombinatorialGames.Nimber.Basic
CombinatorialGames.Nimber.Field
CombinatorialGames.Surreal.Basic
CombinatorialGames.Surreal.Division
CombinatorialGames.Surreal.Multiplication
CombinatorialGames.Surreal.Numeric
CombinatorialGames.Surreal.Ordinal
CombinatorialGames.Surreal.Real
CombinatorialGames.Surreal.Sign
CombinatorialGames.Game.Specific.Domineering
CombinatorialGames.Game.Specific.Nim
CombinatorialGames.Game.Specific.Poset
Imported by