OAI/Analysis/LipschitzHilbert/Geometry/
455 declarations, 0 contain sorry, 0 declared as axioms; 103 files
Files
- BinaryFarMass.lean 2 declarations
- ClippedEnclosure.lean 6 declarations
- CompactDirectionCutoff.lean 10 declarations
- ConditionalUnitDirection.lean 4 declarations
- DilatedRectangleInterior.lean 4 declarations
- DirectionChartSampling.lean 8 declarations
- DirectionDilation.lean 7 declarations
- DyadicLineCover.lean 3 declarations
- DyadicNearbyInputs.lean 5 declarations
- DyadicProjectionPacking.lean 3 declarations
- FarGroupEnergy.lean 1 declarations
- FarLineLower.lean 1 declarations
- FarPairEnergy.lean 2 declarations
- FarSelectionGeometry.lean 5 declarations
- FarSlabExclusion.lean 4 declarations
- FarSlabGeometry.lean 7 declarations
- FarSlabLineSum.lean 4 declarations
- FarStripGeometry.lean 5 declarations
- FatEnclosure.lean 5 declarations
- FatRectangleSum.lean 5 declarations
- FiniteCarlesonPacking.lean 1 declarations
- FiniteOutputCover.lean 1 declarations
- FiniteSpectralOverlap.lean 2 declarations
- FiniteTransverseDirections.lean 5 declarations
- FrozenDirection.lean 13 declarations
- GeometricSpectralOverlap.lean 2 declarations
- HorizontalStripCover.lean 9 declarations
- LaceyLiCoveringReduction.lean 5 declarations
- LaceyLiGeometry.lean 10 declarations
- LaceyLiPacking.lean 2 declarations
- LaceyLiProof.lean 1 declarations
- LaceyLiSelectionCover.lean 6 declarations
- LineConvolutionFar.lean 4 declarations
- LocalFarExclusion.lean 1 declarations
- LocalMinimaSelection.lean 12 declarations
- NearPairEnergy.lean 2 declarations
- NearRectangleLine.lean 9 declarations
- NearRectangleSection.lean 4 declarations
- NearRectangleSum.lean 1 declarations
- NearSelectionBound.lean 1 declarations
- PacketDataDirectionLabelCount.lean 1 declarations
- PacketDataDirectionLatticeCount.lean 2 declarations
- PacketDataFarGram.lean 4 declarations
- PacketDataReferenceSelection.lean 8 declarations
- PacketDataSelectionRecords.lean 6 declarations
- PacketDataSignedInteractionPacking.lean 2 declarations
- PacketDataSignedPacketPacking.lean 1 declarations
- PacketDataSignedSelectedFarBound.lean 1 declarations
- PacketDataSizeSelectionEnergy.lean 7 declarations
- PacketDataSizeSelectionOrder.lean 2 declarations
- PacketDataTreeFarEnergy.lean 1 declarations
- PacketDataTwoSidedSelection.lean 3 declarations
- PopularGroupDirections.lean 1 declarations
- PositiveRectangleAuxiliary.lean 13 declarations
- ProjectedPopularityPacking.lean 1 declarations
- ProjectionGroupSelection.lean 6 declarations
- RectangleArea.lean 7 declarations
- RectangleAuxiliary.lean 9 declarations
- RectangleCountingEnergy.lean 8 declarations
- RectangleCoverSelection.lean 12 declarations
- RectangleDilation.lean 10 declarations
- RectangleIndicator.lean 4 declarations
- RectangleLastSelected.lean 2 declarations
- RectangleLineCoordinates.lean 3 declarations
- RectanglePairEnergy.lean 9 declarations
- RectangleProjection.lean 10 declarations
- SelectedCountingEnergy.lean 1 declarations
- SelectedFarFamily.lean 6 declarations
- SelectedFarOverlap.lean 1 declarations
- SeparatedPacking.lean 2 declarations
- SlopeDirection.lean 9 declarations
- SlopeRectangle.lean 8 declarations
- SmoothDirectionApproximation.lean 7 declarations
- SourceDirectionLabelCount.lean 1 declarations
- SourceDirectionLatticeCount.lean 2 declarations
- SourceFarGramReduction.lean 4 declarations
- SourceFarLinear.lean 1 declarations
- SourcePackingIntegral.lean 2 declarations
- SourceScalePacking.lean 2 declarations
- SourceSelectedFarBound.lean 1 declarations
- SourceSelectedInteractionPacking.lean 1 declarations
- SourceSelectedPacketPacking.lean 1 declarations
- SourceSelectionBoxGeometry.lean 2 declarations
- SourceSelectionRecords.lean 6 declarations
- SourceShortTreeOverlap.lean 9 declarations
- SourceSignedInteractionPacking.lean 1 declarations
- SourceSignedPacketPacking.lean 1 declarations
- SourceSignedSelectedFarBound.lean 1 declarations
- SourceSizeSelectionEnergy.lean 7 declarations
- SourceSizeSelectionOrder.lean 2 declarations
- SourceThreeGridCover.lean 4 declarations
- SourceTransversePacketEnergy.lean 2 declarations
- SourceTransverseTail.lean 7 declarations
- SourceTransverseTreeMaximal.lean 4 declarations
- SourceTransverseTreeVariation.lean 2 declarations
- SourceTreeFarEnergy.lean 1 declarations
- SourceTwoSidedSizeSelection.lean 4 declarations
- SourceWhitneyPacking.lean 4 declarations
- TopDilationPacking.lean 1 declarations
- TransverseBoxDecay.lean 2 declarations
- UniformNearSelection.lean 4 declarations
- UnitDirectionCharts.lean 18 declarations
- VerticalRectangle.lean 9 declarations