OAI/Probability/CriticalPercolation/Clusters/
150 declarations, 0 contain sorry, 0 declared as axioms; 22 files
Files
- ClusterCountFlip.lean 6 declarations
- ClusterNumber.lean 6 declarations
- ClusterObject.lean 18 declarations
- ClusterObjectAvoidanceCross.lean 3 declarations
- ClusterTail.lean 13 declarations
- ClusterUpdate.lean 8 declarations
- ComponentSelf.lean 9 declarations
- CriticalClusterMultiplicity.lean 3 declarations
- DeleteBot.lean 3 declarations
- Earlier.lean 15 declarations
- ExpectedCluster.lean 6 declarations
- FiniteClusterCover.lean 5 declarations
- FiniteForcing.lean 5 declarations
- ForcedDisconnectContinuity.lean 14 declarations
- GraphErgodicity.lean 1 declarations
- HitOthers.lean 5 declarations
- HitValue.lean 9 declarations
- InfiniteUniqueness.lean 4 declarations
- InfiniteUniquenessGeometry.lean 7 declarations
- PercolationTail.lean 5 declarations
- ThreeClusterAvoidanceGeneral.lean 3 declarations
- ThreeClusterAvoidanceSecond.lean 2 declarations