OAI/Probability/CriticalPercolation/GraphGeometry/
644 declarations, 0 contain sorry, 0 declared as axioms; 91 files
Files
- ActionCoordinates.lean 1 declarations
- AdjacentLog.lean 2 declarations
- BallCutGeometry.lean 10 declarations
- Column.lean 6 declarations
- ColumnHitOthersOffdiag.lean 7 declarations
- ComponentAction.lean 4 declarations
- Connects.lean 8 declarations
- CoordinateRotation.lean 8 declarations
- CoordinateScheme.lean 14 declarations
- CriticalCoordinates.lean 2 declarations
- CutEdges.lean 2 declarations
- CutEdgesSubsetIncident.lean 2 declarations
- DeletedTailGeometry.lean 10 declarations
- EllipseAngles.lean 13 declarations
- EllipseBoundary.lean 9 declarations
- EllipseExit.lean 9 declarations
- EllipseGrid.lean 6 declarations
- EllipseLinear.lean 11 declarations
- EllipseMesh.lean 9 declarations
- EllipseOrigin.lean 1 declarations
- EllipseSeed.lean 5 declarations
- EllipseSeparation.lean 1 declarations
- EllipseUniform.lean 3 declarations
- EncounterGeometry.lean 8 declarations
- EquivariantCoordinates.lean 6 declarations
- EraseBond.lean 7 declarations
- EuclideanEllipse.lean 19 declarations
- ExpectedResidualAlt.lean 2 declarations
- FiniteActionAverage.lean 6 declarations
- FiniteAdjacent.lean 3 declarations
- FiniteCoverSums.lean 3 declarations
- FiniteIndexAction.lean 9 declarations
- FiniteInduced.lean 11 declarations
- FiniteKernelDescent.lean 4 declarations
- FiniteKernelOrbits.lean 3 declarations
- FiniteSumConnection.lean 2 declarations
- ForceFalseSubset.lean 3 declarations
- FullOrbitalStructureTransfer.lean 7 declarations
- GraphAction.lean 4 declarations
- GraphActionCoordinates.lean 5 declarations
- GraphApproximateNeighborhoods.lean 11 declarations
- GraphBalls.lean 14 declarations
- GraphQuotientPolynomial.lean 3 declarations
- HitEvent.lean 22 declarations
- HitEventUpperSet.lean 3 declarations
- HittingSubAvoidance.lean 2 declarations
- InducedAutomorphism.lean 6 declarations
- InducedCritical.lean 9 declarations
- InfiniteAdjacent.lean 2 declarations
- InfiniteEventSubsetHit.lean 7 declarations
- IntegerKernelGeneration.lean 2 declarations
- IsolateThree.lean 9 declarations
- LastInverseDiagonal.lean 2 declarations
- LatticeGrowth.lean 25 declarations
- Link.lean 10 declarations
- Link2.lean 13 declarations
- LocallyConnectedActionKernel.lean 3 declarations
- MapVertices.lean 8 declarations
- MarkConnectivity.lean 3 declarations
- MovingStrips.lean 5 declarations
- NestedLayerGeometry.lean 4 declarations
- NormalOrbitAction.lean 13 declarations
- ObjectKernel.lean 8 declarations
- OpenGraphInsert.lean 3 declarations
- OpenGraphIso.lean 13 declarations
- OrbitQuotientTransfer.lean 3 declarations
- OrbitRepresentatives.lean 12 declarations
- OrbitalAction.lean 5 declarations
- OrbitalFiniteGeneration.lean 4 declarations
- OrbitalPacking.lean 4 declarations
- OrbitalPower.lean 8 declarations
- OrbitalScales.lean 3 declarations
- OrbitalStructureTransfer.lean 8 declarations
- PhaseStepCharge.lean 1 declarations
- ProbIsolateThree.lean 6 declarations
- ReachableReplaceTail.lean 3 declarations
- ResidualConvertedVariance.lean 1 declarations
- RestrictVertices.lean 11 declarations
- RestrictedAction.lean 6 declarations
- RestrictedOrbitalPacking.lean 5 declarations
- StripCompactness.lean 11 declarations
- StripContinuity.lean 4 declarations
- StripCritical.lean 4 declarations
- StripLinear.lean 8 declarations
- StripOrigin.lean 2 declarations
- StripUniform.lean 3 declarations
- SubgroupOrbitKernel.lean 1 declarations
- UniformGeometry.lean 5 declarations
- UpdateKernel.lean 14 declarations
- VertexBall.lean 57 declarations
- WiredEvent.lean 10 declarations