OAI/NumberTheory/Jacobsthal/Analysis/
412 declarations, 0 contain sorry, 0 declared as axioms; 49 files
Files
- ActualLossDensity.lean 13 declarations
- BonferroniDensity.lean 21 declarations
- BoundaryProductLimit.lean 3 declarations
- CanonicalBadCompact.lean 3 declarations
- CompactCorrectionLimit.lean 4 declarations
- CompactSmallCountErrors.lean 1 declarations
- CompactTestMeasurable.lean 8 declarations
- ContinuousCorrectionLimit.lean 11 declarations
- ContinuousHighRemoval.lean 7 declarations
- ContinuousQRecurrence.lean 3 declarations
- ContinuousReference.lean 9 declarations
- CorrectedCompactTransfer.lean 33 declarations
- CorrectionWeightedIntegral.lean 19 declarations
- DeficitIntegralValues.lean 8 declarations
- DensityComparison.lean 39 declarations
- DensityConservation.lean 11 declarations
- HarmonicReferenceMeasure.lean 7 declarations
- ImplicitDerivatives.lean 4 declarations
- IntegralDifferenceBound.lean 1 declarations
- JointModelDensity.lean 10 declarations
- LipschitzMeasureQuadrature.lean 2 declarations
- LiteralCompactRemoval.lean 4 declarations
- LocalZeroLogDerivative.lean 1 declarations
- NormalizedCollisionSmallness.lean 2 declarations
- OmissionForceIntegral.lean 3 declarations
- OrderedTriangleFubini.lean 1 declarations
- PairDensityExpansion.lean 12 declarations
- PaperContinuousCorrection.lean 5 declarations
- PatternErrorNormalization.lean 2 declarations
- RawCompactPlacement.lean 5 declarations
- RealCoefficientNormalization.lean 7 declarations
- RetainedNormalizedReward.lean 4 declarations
- RieszIntegralRepresentation.lean 4 declarations
- RieszMajorantIntegrals.lean 4 declarations
- ScalarMassContinuity.lean 1 declarations
- SmallModelMeasure.lean 9 declarations
- SourceBadCompactOccurrence.lean 1 declarations
- SourceCompactErrorMass.lean 2 declarations
- SourceCompactSingletons.lean 4 declarations
- SourceProductLimit.lean 4 declarations
- SourceReferenceLimit.lean 2 declarations
- TerminalForceIntegral.lean 7 declarations
- ThirdMovingIntegrals.lean 8 declarations
- ThresholdFubini.lean 1 declarations
- TripleWeightDensity.lean 3 declarations
- UncappedCompactMass.lean 3 declarations
- VariableUpperIntegral.lean 1 declarations
- WeightFutureIntegrals.lean 60 declarations
- WeightIntegrals.lean 35 declarations