OAI/Geometry/PinnedDistances/
1184 declarations, 0 contain sorry, 0 declared as axioms; 48 files
Files
- ArithmeticContradiction.lean 2 declarations
- ArithmeticGraphs.lean 26 declarations
- ArithmeticHierarchy.lean 38 declarations
- ArithmeticSequence.lean 17 declarations
- ArithmeticVariance.lean 15 declarations
- BoundedContradiction.lean 1 declarations
- BoundedRates.lean 8 declarations
- ChartLimits.lean 20 declarations
- ConditionalIntegral.lean 3 declarations
- CutApproximation.lean 23 declarations
- CutGeometry.lean 51 declarations
- EmpiricalCompactness.lean 6 declarations
- EnergyLaw.lean 6 declarations
- ExtremalCore.lean 49 declarations
- ExtremalFractions.lean 15 declarations
- FiberOverlap.lean 21 declarations
- FiberTransport.lean 34 declarations
- FiniteLaw.lean 7 declarations
- FiniteMixtures.lean 9 declarations
- FiniteObstruction.lean 8 declarations
- GlobalOverlap.lean 22 declarations
- GlobalPotentials.lean 29 declarations
- GridBounds.lean 14 declarations
- Hierarchy.lean 88 declarations
- IncomingFibers.lean 40 declarations
- LimitObstruction.lean 1 declarations
- LogBounds.lean 39 declarations
- Main.lean 2 declarations
- MeasureLimits.lean 8 declarations
- MinPotentials.lean 44 declarations
- MixtureLaw.lean 10 declarations
- MobiusObstruction.lean 46 declarations
- Model.lean 12 declarations
- NormalizedGraphs.lean 1 declarations
- OverlapRates.lean 13 declarations
- PartitionIntegrals.lean 22 declarations
- Pins.lean 17 declarations
- ProductFormula.lean 11 declarations
- ProductLimits.lean 8 declarations
- RandomGrids.lean 125 declarations
- SmallCells.lean 65 declarations
- TreeContradiction.lean 18 declarations
- TreeTransport.lean 34 declarations
- UnboundedContradiction.lean 27 declarations
- UniformCore.lean 39 declarations
- Variance.lean 61 declarations
- VarianceRates.lean 18 declarations
- WeightedSelection.lean 11 declarations