OAI/NumberTheory/Jacobsthal/Partitions/
790 declarations, 0 contain sorry, 0 declared as axioms; 91 files
Files
- ActualBoxFourSum.lean 7 declarations
- ActualBoxHarmonicInverse.lean 3 declarations
- ActualBoxList.lean 1 declarations
- ActualCoordinateBlocks.lean 10 declarations
- ActualPatternCoordinates.lean 6 declarations
- ActualRepeatedBinStep.lean 4 declarations
- ActualSafeBoxMass.lean 4 declarations
- AllLabelDiscrepancy.lean 1 declarations
- BandShiftTransport.lean 12 declarations
- BeginningWindowTransport.lean 19 declarations
- BinCutGapMovement.lean 21 declarations
- BoundedEdgeBins.lean 9 declarations
- BoundedOrderIntervals.lean 2 declarations
- BoundedRectangleFubini.lean 2 declarations
- BoxHeightBudget.lean 2 declarations
- BoxInflation.lean 4 declarations
- CanonicalCostCoordinates.lean 2 declarations
- CellLengthLower.lean 4 declarations
- CoefficientBoxCollision.lean 3 declarations
- CommonCellSum.lean 20 declarations
- CommonSliceGeometry.lean 42 declarations
- CompactSelectedPartition.lean 7 declarations
- CompactTestGeometry.lean 5 declarations
- CompletedParentInterval.lean 26 declarations
- ContinuousHighPartition.lean 8 declarations
- CrossingBandGeometry.lean 71 declarations
- CrossingMeshRate.lean 1 declarations
- DilationCoordinates.lean 24 declarations
- EdgeBinBounds.lean 4 declarations
- EffectiveCommonInterval.lean 5 declarations
- EffectiveCoordinateUnits.lean 1 declarations
- EffectiveCoordinates.lean 10 declarations
- EligibleBoxLists.lean 5 declarations
- EvenThresholdGeometry.lean 9 declarations
- FiberCardinalityConstancy.lean 20 declarations
- FiniteBinIntegral.lean 1 declarations
- FiniteLabelBudget.lean 3 declarations
- FiniteWeightedChoiceBox.lean 10 declarations
- FullBoxTotalLength.lean 2 declarations
- FullHypotheticalBinLower.lean 1 declarations
- FullPatternCoordinates.lean 5 declarations
- GeometricInverseGeometry.lean 4 declarations
- GeometricRangeInverse.lean 6 declarations
- GeometricSelectionHardMass.lean 5 declarations
- GeometricTotalBoxMass.lean 2 declarations
- GoodSampleSelection.lean 3 declarations
- GridWeightComparison.lean 4 declarations
- HorizonMeshSmallness.lean 1 declarations
- InflectionTransport.lean 5 declarations
- IntervalCuts.lean 7 declarations
- IntervalHyperbolaAdapter.lean 17 declarations
- IntervalPairCount.lean 5 declarations
- IntervalSpectrumCoefficients.lean 7 declarations
- LineCoordinateCounts.lean 5 declarations
- MarginalTransport.lean 9 declarations
- MeshBoundaryGeometry.lean 20 declarations
- MeshStationary.lean 26 declarations
- NestedCoordinates.lean 15 declarations
- NonlinearCoordinateDegree.lean 7 declarations
- OmissionPartition.lean 3 declarations
- OriginalBinWeightRange.lean 1 declarations
- PairFibreEnumeration.lean 4 declarations
- PaperGeometricRegularity.lean 8 declarations
- ParentEdgeCoordinates.lean 11 declarations
- RationalParameterInterval.lean 6 declarations
- RealProgressionCoordinates.lean 1 declarations
- ReferenceHighIntervals.lean 9 declarations
- ReferenceIntervalBound.lean 27 declarations
- RegularityDefectPartition.lean 8 declarations
- RetainedIntervalUpper.lean 6 declarations
- RieszRectangle.lean 4 declarations
- SignedIntervalGeometry.lean 5 declarations
- SlopeCellPartition.lean 4 declarations
- SortedLabelRepetition.lean 3 declarations
- SourceAllInverseBins.lean 4 declarations
- SourceBlockFibreBound.lean 4 declarations
- SourceCanonicalKeyGeometry.lean 1 declarations
- SourceDenseCellContradiction.lean 6 declarations
- SourceIntervalReplacement.lean 3 declarations
- SourceLabelCount.lean 45 declarations
- SourceNodeCoordinates.lean 4 declarations
- SourceParentBin.lean 10 declarations
- SourceRawBoxFactory.lean 4 declarations
- SourceRefinedCell.lean 1 declarations
- StationaryFibres.lean 4 declarations
- StrongReferenceTransport.lean 5 declarations
- SuccessfulTailTransport.lean 4 declarations
- ThresholdMeshRate.lean 2 declarations
- TwoSidedThresholdGeometry.lean 6 declarations
- TwoSingletonBins.lean 40 declarations
- UnitReductionFibres.lean 3 declarations