Documentation
LeanPool
.
ArchonFirstProofResults
.
Imports
Search
return to top
source
Imports
Init
LeanPool.ArchonFirstProofResults
LeanPool.ArchonFirstProofResults.FirstProof4
LeanPool.ArchonFirstProofResults.FirstProof6
LeanPool.ArchonFirstProofResults.FirstProof4.Auxiliary
LeanPool.ArchonFirstProofResults.FirstProof4.Problem4
LeanPool.ArchonFirstProofResults.FirstProof6.Auxiliary
LeanPool.ArchonFirstProofResults.FirstProof6.Problem6
LeanPool.ArchonFirstProofResults.FirstProof4.Auxiliary.BoxPlusRealRoots
LeanPool.ArchonFirstProofResults.FirstProof4.Auxiliary.Continuity
LeanPool.ArchonFirstProofResults.FirstProof4.Auxiliary.Defs
LeanPool.ArchonFirstProofResults.FirstProof4.Auxiliary.Density
LeanPool.ArchonFirstProofResults.FirstProof4.Auxiliary.HarmonicBound
LeanPool.ArchonFirstProofResults.FirstProof4.Auxiliary.InvPhiN
LeanPool.ArchonFirstProofResults.FirstProof4.Auxiliary.Obreschkoff
LeanPool.ArchonFirstProofResults.FirstProof4.Auxiliary.ObreschkoffTransport
LeanPool.ArchonFirstProofResults.FirstProof4.Auxiliary.PhiN
LeanPool.ArchonFirstProofResults.FirstProof4.Auxiliary.RPoly
LeanPool.ArchonFirstProofResults.FirstProof4.Auxiliary.RealRoots
LeanPool.ArchonFirstProofResults.FirstProof4.Auxiliary.Residue
LeanPool.ArchonFirstProofResults.FirstProof4.Auxiliary.RootContinuity
LeanPool.ArchonFirstProofResults.FirstProof4.Auxiliary.SignSquarefree
LeanPool.ArchonFirstProofResults.FirstProof4.Auxiliary.Transport
LeanPool.ArchonFirstProofResults.FirstProof4.Auxiliary.TransportDecomp
LeanPool.ArchonFirstProofResults.FirstProof6.Auxiliary.BarrierPotential
LeanPool.ArchonFirstProofResults.FirstProof6.Auxiliary.ColoringFramework
LeanPool.ArchonFirstProofResults.FirstProof6.Auxiliary.DynamicColoring
LeanPool.ArchonFirstProofResults.FirstProof6.Auxiliary.LaplacianBasics
LeanPool.ArchonFirstProofResults.FirstProof6.Auxiliary.LoewnerPullback
LeanPool.ArchonFirstProofResults.FirstProof6.Auxiliary.OneSidedBarrier
LeanPool.ArchonFirstProofResults.FirstProof6.Auxiliary.ResolventBound
Imported by