Documentation
LeanPool
.
AFormalizationOfBorelDeterminacyInLean
.
Proof
.
Zero
Search
return to top
source
Imports
Init
Mathlib.Tactic.NormNum.Abs
Mathlib.Tactic.NormNum.DivMod
Mathlib.Tactic.NormNum.OfScientific
Mathlib.Tactic.NormNum.Pow
LeanPool.AFormalizationOfBorelDeterminacyInLean.Proof.Zero.Lift
LeanPool.AFormalizationOfBorelDeterminacyInLean.Proof.Zero.PreLift
LeanPool.AFormalizationOfBorelDeterminacyInLean.Proof.Zero.Strat
LeanPool.AFormalizationOfBorelDeterminacyInLean.Proof.Zero.TreeLift
Mathlib.Data.Rat.Cast.Order
Imported by
Player zero proof index
#
Import-only index for the player-zero lift and strategy construction modules.