OAI/Probability/CriticalPercolation/Gluing/
332 declarations, 0 contain sorry, 0 declared as axioms; 52 files
Files
- ApproximateMoveEndgame.lean 2 declarations
- CollarDistance.lean 10 declarations
- CollarErrorBudget.lean 3 declarations
- ConditionalGluing.lean 12 declarations
- ContactExitPivot.lean 2 declarations
- ContactPivot.lean 1 declarations
- ContactSelection.lean 7 declarations
- ContourSites.lean 10 declarations
- ContourWords.lean 10 declarations
- CoordinateProspective.lean 6 declarations
- CorridorGraph.lean 15 declarations
- CorridorNormalization.lean 17 declarations
- CorridorScaleChoice.lean 27 declarations
- CorridorSeparation.lean 24 declarations
- DistanceCollarTransfer.lean 1 declarations
- DomainFreshExit.lean 8 declarations
- EllipseMoves.lean 7 declarations
- FewContacts.lean 2 declarations
- FiniteJointGluing.lean 1 declarations
- FiniteJointGluingStrict.lean 1 declarations
- FreshCollar.lean 1 declarations
- FreshCollarExact.lean 1 declarations
- FreshContactTransfer.lean 1 declarations
- FreshCorridor.lean 1 declarations
- FreshExitContinuity.lean 4 declarations
- FreshExitWitness.lean 6 declarations
- FreshTrial.lean 6 declarations
- HonestChoice.lean 4 declarations
- InwardTrial.lean 2 declarations
- LevelContactGeometry.lean 11 declarations
- MoveExit.lean 8 declarations
- MoveWitness.lean 10 declarations
- OpenTrialBound.lean 5 declarations
- PinnedTest.lean 5 declarations
- PredictionFailure.lean 5 declarations
- ProspectiveCorridor.lean 1 declarations
- RelayGeometry.lean 17 declarations
- RelayMoves.lean 9 declarations
- RelayScales.lean 8 declarations
- RootCorridor.lean 1 declarations
- SelectedFresh.lean 6 declarations
- SelectedTrials.lean 2 declarations
- SlotContour.lean 8 declarations
- SourceCollarTransfer.lean 1 declarations
- SourceConnectivity.lean 4 declarations
- SourceGraph.lean 7 declarations
- SourceLift.lean 2 declarations
- SourceRelaySeparation.lean 1 declarations
- StoredPrediction.lean 4 declarations
- StripMoves.lean 14 declarations
- TrialSelection.lean 3 declarations
- UniformFreshBoundary.lean 8 declarations