Documentation
LeanPool
.
OrderClosures
.
GaoLeungProblem
Search
return to top
source
Imports
Init
LeanPool.OrderClosures.GaoLeungProblem.CNFOrder
LeanPool.OrderClosures.GaoLeungProblem.Counterexample
LeanPool.OrderClosures.GaoLeungProblem.Iterations
LeanPool.OrderClosures.GaoLeungProblem.OrdinalSpace
LeanPool.OrderClosures.GaoLeungProblem.StageFormula
Imported by
The Gao--Leung problem and counterexamples
#
Compatibility umbrella for the paper-ordered Gao--Leung formalization.