Documentation
CombinatorialGames
Search
return to top
source
Imports
Init
CombinatorialGames.AugmentedForm
CombinatorialGames.Form
CombinatorialGames.GameForm
CombinatorialGames.GameGraph
CombinatorialGames.OfSets
CombinatorialGames.Outcome
CombinatorialGames.Player
CombinatorialGames.Ruleset
CombinatorialGames.AugmentedForm.Lift
CombinatorialGames.AugmentedForm.Short
CombinatorialGames.Form.Adjoint
CombinatorialGames.Form.Birthday
CombinatorialGames.Form.Classes
CombinatorialGames.Form.Short
CombinatorialGames.GameForm.Birthday
CombinatorialGames.GameForm.Special
CombinatorialGames.Literature.OnSumsOfPFreeFormsUnderMiserePlay
CombinatorialGames.Mathlib.NatOrdinal
CombinatorialGames.Mathlib.SimpleGraph
CombinatorialGames.Mathlib.Small
CombinatorialGames.Misere.Ambient
CombinatorialGames.Misere.Blocking
CombinatorialGames.Misere.Closures
CombinatorialGames.Misere.Comparison
CombinatorialGames.Misere.DeadEnding
CombinatorialGames.Misere.IntegerInvertible
CombinatorialGames.Misere.LiftIncomparable
CombinatorialGames.Misere.NonInvertible
CombinatorialGames.Misere.Normal
CombinatorialGames.Misere.OutcomeStable
CombinatorialGames.Misere.PFree
CombinatorialGames.Misere.PFreeBlocking
CombinatorialGames.Misere.PFreeDeadEnding
CombinatorialGames.Misere.Preservation
CombinatorialGames.Misere.Quotients
CombinatorialGames.Misere.Separation
CombinatorialGames.Misere.ShortIncomparable
CombinatorialGames.Misere.Stride
CombinatorialGames.Misere.TippingPoints
CombinatorialGames.Misere.Universe
CombinatorialGames.Ruleset.Hackenbush
CombinatorialGames.Ruleset.Push
CombinatorialGames.Ruleset.Shove
CombinatorialGames.Ruleset.Strip
CombinatorialGames.Tactic.DocAlias
CombinatorialGames.Form.Misere.Adjoint
CombinatorialGames.Form.Misere.Outcome
CombinatorialGames.Misere.Hereditary.MaintenanceProviso
CombinatorialGames.Misere.OutcomeStable.PropertyX
Imported by