Documentation

LeanPool.MisereGames.Imports

return to top

source

Imports

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

Imported by