OAI/Geometry/TranslativeCovering/
715 declarations, 0 contain sorry, 0 declared as axioms; 100 files
Files
- ActivityBins.lean 2 declarations
- AllLatticeExclusion.lean 3 declarations
- BinSelection.lean 3 declarations
- BinnedTail.lean 2 declarations
- BlockCount.lean 3 declarations
- BlockDimension.lean 2 declarations
- BlockGeometry.lean 12 declarations
- BlockRow.lean 1 declarations
- BlockSets.lean 10 declarations
- BlockTerminal.lean 2 declarations
- BlockWeightMeasure.lean 5 declarations
- BlockWeights.lean 2 declarations
- Blocks.lean 5 declarations
- BodySelection.lean 5 declarations
- BodyVolume.lean 12 declarations
- CapAffinity.lean 8 declarations
- CapCost.lean 11 declarations
- CapDisjoint.lean 3 declarations
- CapGeometry.lean 15 declarations
- CapLens.lean 5 declarations
- CapOverlap.lean 4 declarations
- CellCounts.lean 24 declarations
- CellMatching.lean 28 declarations
- ConeStretch.lean 18 declarations
- CoveringAsymptotics.lean 3 declarations
- CoveringGrowth.lean 4 declarations
- CrossDeployment.lean 2 declarations
- CrossDiagram.lean 3 declarations
- CrossSlots.lean 4 declarations
- CubicLattice.lean 5 declarations
- CylinderAngle.lean 4 declarations
- CylinderProbability.lean 7 declarations
- CylinderVolume.lean 12 declarations
- DecayNormalization.lean 5 declarations
- DiagramActivity.lean 7 declarations
- DiagramCrossBounds.lean 1 declarations
- DiagramSelfBounds.lean 1 declarations
- DistinctCosets.lean 6 declarations
- EntropyRates.lean 5 declarations
- FiniteJanson.lean 60 declarations
- GeometryDimension.lean 4 declarations
- JansonSampling.lean 5 declarations
- LatticeAveraging.lean 11 declarations
- LensDeployment.lean 6 declarations
- LensQuantitative.lean 3 declarations
- LocalizationComplete.lean 3 declarations
- LocalizationGood.lean 9 declarations
- LocalizationMeans.lean 3 declarations
- LocalizationRates.lean 10 declarations
- LocalizationRounding.lean 20 declarations
- LocalizationWindow.lean 5 declarations
- Main.lean 3 declarations
- MatchingAlgebra.lean 6 declarations
- MatchingBounds.lean 4 declarations
- MatchingSelf.lean 22 declarations
- MeasureCut.lean 4 declarations
- Model.lean 1 import, no declarations
- NormalizedCaps.lean 3 declarations
- NumericTail.lean 2 declarations
- PatternCross.lean 4 declarations
- PatternEnumeration.lean 7 declarations
- PatternGeometry.lean 8 declarations
- PatternRounding.lean 4 declarations
- PatternTail.lean 4 declarations
- PatternWitness.lean 4 declarations
- PeriodicDensity.lean 7 declarations
- PeriodicEquality.lean 7 declarations
- Periodization.lean 23 declarations
- PoissonActualBound.lean 1 declarations
- PoissonBinned.lean 1 declarations
- PoissonCells.lean 7 declarations
- PoissonConfig.lean 18 declarations
- PoissonDiagrams.lean 16 declarations
- PoissonFinite.lean 8 declarations
- PoissonLimit.lean 2 declarations
- PoissonMeasureCells.lean 6 declarations
- PoissonRealization.lean 8 declarations
- PoissonSample.lean 8 declarations
- ProjectiveCaps.lean 10 declarations
- RadialCost.lean 5 declarations
- RadialIntegral.lean 4 declarations
- RadialShell.lean 11 declarations
- RadiusLens.lean 1 declarations
- RandomBody.lean 13 declarations
- ResidualCaps.lean 4 declarations
- RowGrouping.lean 5 declarations
- ShellCaps.lean 5 declarations
- SlotGeometry.lean 2 declarations
- SourceLocalization.lean 6 declarations
- SourceParameters.lean 19 declarations
- SourcePatternTail.lean 3 declarations
- SourceScale.lean 1 declarations
- SphericalBlocks.lean 3 declarations
- SphericalLaw.lean 18 declarations
- TailComparison.lean 4 declarations
- TargetGeometry.lean 4 declarations
- TargetSampling.lean 10 declarations
- WeightedVolume.lean 3 declarations
- WitnessBlocks.lean 3 declarations
- WitnessConstruction.lean 1 declarations