`OAI/NumberTheory/TwoPoint/Bounds/`

2598 declarations, 0 contain sorry, 0 declared as axioms; 527 files

Files

ActiveLabels.lean 13 declarations
ActiveStateBudget.lean 1 declarations
ActiveStateComparison.lean 1 declarations
ActiveStateExpansion.lean 11 declarations
ActiveStateVectors.lean 8 declarations
ActualAffineCompression.lean 3 declarations
ActualAffineIntervalMatrix.lean 2 declarations
ActualAffineSpectralTail.lean 2 declarations
ActualAffineTesting.lean 2 declarations
ActualAffineWordComparison.lean 1 declarations
ActualBilinearTesting.lean 1 declarations
ActualBlockTrace.lean 3 declarations
ActualCenterDegree.lean 3 declarations
ActualClosedPairCatalog.lean 5 declarations
ActualCodeAssignments.lean 6 declarations
ActualColumnCatalog.lean 4 declarations
ActualColumnTrace.lean 1 declarations
ActualColumnWeights.lean 6 declarations
ActualDesignations.lean 8 declarations
ActualIntervalMatrix.lean 1 declarations
ActualMatrixTrace.lean 1 declarations
ActualPaddingCuts.lean 5 declarations
ActualPaddingIntegerBounds.lean 12 declarations
ActualPaddingMarginal.lean 4 declarations
ActualPaddingProduct.lean 4 declarations
ActualPaddingResidues.lean 6 declarations
ActualPaddingWeights.lean 25 declarations
ActualPrimeAffineWordComparison.lean 3 declarations
ActualPrimeFamily.lean 13 declarations
ActualPrimeMatrix.lean 3 declarations
ActualPrimeScale.lean 9 declarations
ActualPrimeSlots.lean 12 declarations
ActualPrimeWordComparison.lean 1 declarations
ActualProhibitedDensity.lean 2 declarations
ActualRareDeletion.lean 3 declarations
ActualRareRow.lean 3 declarations
ActualRetainedBin.lean 2 declarations
ActualRetainedPrefix.lean 3 declarations
ActualSlotClasses.lean 8 declarations
ActualWitnessRecord.lean 1 declarations
ActualWordBoolean.lean 2 declarations
ActualWordComparison.lean 2 declarations
ActualWordInputs.lean 10 declarations
ActualWordStateIdentity.lean 7 declarations
AffineResidueAverage.lean 1 declarations
AffineTransfer.lean 7 declarations
AffineWeightedWordComparison.lean 1 declarations
AmbientLitOrigin.lean 2 declarations
AmbientTupleLabels.lean 7 declarations
BadCatalogCost.lean 14 declarations
BadEventDecay.lean 2 declarations
BadWordRelations.lean 9 declarations
BernoulliTail.lean 7 declarations
BinCutoffGeometry.lean 2 declarations
Bonferroni.lean 24 declarations
BoundedColumnCodes.lean 5 declarations
BoundedPaddingUnion.lean 2 declarations
BoundedWitnessDecay.lean 3 declarations
CRTComparison.lean 20 declarations
CatalogVertexIndicator.lean 5 declarations
CenterBandExpansion.lean 6 declarations
CenterBandReindex.lean 9 declarations
CenterDegree.lean 9 declarations
CenteredBinIdentity.lean 2 declarations
CenteredTupleProfiles.lean 4 declarations
CenteredWitnessCatalog.lean 1 declarations
CenteredWordExpansion.lean 14 declarations
CenteredWordMajorant.lean 4 declarations
CharacterTwists.lean 10 declarations
CodedWitnessFiber.lean 1 declarations
CommonResidueLift.lean 3 declarations
ComparisonRelationSelection.lean 2 declarations
ComplexBinGeometry.lean 3 declarations
ComplexBinSummation.lean 2 declarations
ComplexBinWindows.lean 5 declarations
ComplexBlockTesting.lean 4 declarations
ComplexCanonicalDeletion.lean 3 declarations
ComplexCenteredBridge.lean 5 declarations
ComplexCenteringSum.lean 2 declarations
ComplexDeletionPrefix.lean 1 declarations
ComplexFinalScale.lean 3 declarations
ComplexFullDilation.lean 2 declarations
ComplexGraphUpper.lean 1 declarations
ComplexNumericalEdges.lean 6 declarations
ComplexNumericalPrefix.lean 5 declarations
ComplexPairSelection.lean 7 declarations
ComplexPartialBounds.lean 2 declarations
ComplexPartialProfiles.lean 5 declarations
ComplexPolarization.lean 5 declarations
ComplexPrefixBound.lean 3 declarations
ComplexRawComparison.lean 3 declarations
ComplexRawSelection.lean 3 declarations
ComplexTupleProfiles.lean 4 declarations
CompressedRuns.lean 4 declarations
ConditionalComplexCore.lean 1 declarations
ConditionalElliott.lean 3 declarations
ConditionalLiouville.lean 2 declarations
CoordinateEmbedding.lean 4 declarations
CoordinateFiberSum.lean 3 declarations
CoordinateProjection.lean 6 declarations
CoordinateSampling.lean 10 declarations
CoprimeExceptionDensity.lean 7 declarations
CosineLogIntegral.lean 5 declarations
CrudeColumnPatterns.lean 5 declarations
CrudeHarmonicMass.lean 4 declarations
CrudeNumericalWordSum.lean 6 declarations
CrudeTraceCatalog.lean 1 declarations
CrudeTraceWeights.lean 5 declarations
CrudeWordCounting.lean 12 declarations
CutoffDivisorTransfer.lean 5 declarations
DecoderComparison.lean 11 declarations
DegreeCostComparison.lean 1 declarations
DegreeCostResidue.lean 3 declarations
DegreeDeletionSum.lean 2 declarations
DegreeThresholdCircuit.lean 15 declarations
DeletionErrorScale.lean 2 declarations
DeletionNormalization.lean 2 declarations
DeletionRowSplit.lean 4 declarations
DepartureWeightBounds.lean 4 declarations
DesignationWeights.lean 7 declarations
DilatedForwardWindows.lean 2 declarations
DilatedMRTScale.lean 1 declarations
DilatedRoughBins.lean 2 declarations
DilatedRoughRight.lean 1 declarations
DilatedRoughShifts.lean 1 declarations
DilatedShortSums.lean 1 declarations
DilatedWindowParameters.lean 4 declarations
DilatedWindowScale.lean 4 declarations
DilatedWindows.lean 7 declarations
Dilation.lean 14 declarations
DilationMRT.lean 4 declarations
DivisibilityPrefix.lean 2 declarations
DivisorEndpointSymmetry.lean 3 declarations
DivisorWordMajorant.lean 2 declarations
EncodedBadSum.lean 2 declarations
EncodedCoefficients.lean 26 declarations
EncodedPaddingUnion.lean 2 declarations
EncodedPaddingWitness.lean 3 declarations
EncodedPrimeSupport.lean 1 declarations
EncodedWitnessDecay.lean 1 declarations
EncodedWitnessProbability.lean 3 declarations
EncodedWitnessSum.lean 2 declarations
EncodedWitnessUnion.lean 2 declarations
EndpointResidueAverage.lean 3 declarations
EventualResidueComparison.lean 2 declarations
ExistentialWitnesses.lean 2 declarations
ExtractedWindowScale.lean 1 declarations
FamilyPatternSum.lean 1 declarations
FinalCorrelationBound.lean 3 declarations
FinalErrorScale.lean 2 declarations
FiniteAverages.lean 9 declarations
FiniteDesignationSum.lean 2 declarations
FiniteLawMapping.lean 4 declarations
FiniteLawParameters.lean 8 declarations
FinitePrimePhases.lean 10 declarations
FiniteProbability.lean 19 declarations
FiniteResidueComparison.lean 12 declarations
FiniteRoughSieve.lean 2 declarations
FiniteSupportAverage.lean 1 declarations
FiniteWalkFamily.lean 9 declarations
FiniteWalkNumbering.lean 1 declarations
FixedColumnWords.lean 9 declarations
ForcedSingletonDifference.lean 4 declarations
FormalDepartures.lean 7 declarations
FourFormLocal.lean 12 declarations
FourierMass.lean 3 declarations
FourierPrimeCutoff.lean 11 declarations
FourierRegionBound.lean 8 declarations
FullDivisibility.lean 6 declarations
FullDivisibilityFamily.lean 1 declarations
FullNumericalBins.lean 7 declarations
FullTupleBinIdentity.lean 2 declarations
GoodColumnSum.lean 6 declarations
GoodDesignatedWordSum.lean 5 declarations
GoodMomentConstant.lean 3 declarations
GoodRetainedWordSum.lean 4 declarations
GoodTraceCost.lean 1 declarations
GoodTraceTotal.lean 1 declarations
GoodWeightedDifferenceSum.lean 1 declarations
GraphMatrixCompression.lean 3 declarations
GraphSpectralTransfer.lean 1 declarations
GraphTesting.lean 3 declarations
IndependentSampling.lean 8 declarations
InitialAverage.lean 1 declarations
IntegerClosedCatalog.lean 3 declarations
IntegerEdgeOperators.lean 2 declarations
IntegerEdgeRows.lean 6 declarations
IntegerEdges.lean 15 declarations
IntegerLiouville.lean 6 declarations
IntegerPathProduct.lean 6 declarations
IntegerShiftGeometry.lean 9 declarations
IntegerShiftWords.lean 8 declarations
IntegerVertexMask.lean 6 declarations
InternalRelationSelection.lean 2 declarations
LabeledForest.lean 18 declarations
LabeledPrimeWords.lean 12 declarations
LabeledWordSegments.lean 4 declarations
LinearPivots.lean 1 declarations
LiouvilleDivisorExtraction.lean 6 declarations
LiouvilleQuadraticIdentity.lean 1 declarations
LitBlockGeometry.lean 4 declarations
LitCommonOrigin.lean 1 declarations
LitConsistency.lean 5 declarations
LitOccurrenceWeights.lean 7 declarations
LocalExpansion.lean 8 declarations
LocalFactors.lean 7 declarations
LogSavingScale.lean 2 declarations
LowRankColumnCover.lean 2 declarations
LowRankColumnEncoding.lean 4 declarations
MainPaddingTests.lean 8 declarations
MaskedClosedWordAverage.lean 1 declarations
MaskedIntegerEdges.lean 5 declarations
MaskedRows.lean 5 declarations
MaskedWeightPeriodicity.lean 4 declarations
MatrixAction.lean 3 declarations
MatrixClosedWords.lean 18 declarations
MatrixMomentNorm.lean 9 declarations
MatrixSpectralTail.lean 5 declarations
MatrixTraceSummation.lean 2 declarations
MaximalPairs.lean 7 declarations
MertensScale.lean 6 declarations
MidpointCut.lean 6 declarations
MixedDifference.lean 15 declarations
ModifiedShortSums.lean 1 declarations
MultiplicativeExtraction.lean 9 declarations
MultiplicativePrimeProducts.lean 4 declarations
NearbyCutoffs.lean 3 declarations
Nonbacktracking.lean 2 declarations
NonnegativeProgressionAverage.lean 1 declarations
NonrawPrefix.lean 3 declarations
NonrawReindex.lean 4 declarations
NonrawRoughData.lean 11 declarations
NumericalBins.lean 4 declarations
NumericalColumnCover.lean 1 declarations
NumericalTupleLabels.lean 7 declarations
NumericalWitnessEncoding.lean 5 declarations
NumericalWitnessEvent.lean 3 declarations
ObservedColumnNames.lean 6 declarations
ObservedColumnRank.lean 3 declarations
ObservedDesignationWeights.lean 7 declarations
ObservedReciprocalBound.lean 2 declarations
OccurrenceCounts.lean 9 declarations
OrderedElimination.lean 2 declarations
OrderedPrimeSystems.lean 5 declarations
OscillatoryThetaError.lean 6 declarations
OverlapPrefix.lean 5 declarations
PaddedListCode.lean 2 declarations
PaddingActiveState.lean 8 declarations
PaddingBinCount.lean 2 declarations
PaddingBinCoverage.lean 9 declarations
PaddingBinMassTotal.lean 8 declarations
PaddingBinSquare.lean 7 declarations
PaddingCatalog.lean 4 declarations
PaddingCharacteristic.lean 9 declarations
PaddingCutCircuit.lean 10 declarations
PaddingCutCost.lean 6 declarations
PaddingDefectMass.lean 4 declarations
PaddingDegreeTail.lean 7 declarations
PaddingDeletionComparison.lean 4 declarations
PaddingDeletionIdentity.lean 4 declarations
PaddingDifferenceLaw.lean 8 declarations
PaddingDivisorEncoding.lean 15 declarations
PaddingIntegerBins.lean 7 declarations
PaddingLargeBinCut.lean 5 declarations
PaddingLiteralBins.lean 9 declarations
PaddingLogMoment.lean 3 declarations
PaddingPairSampling.lean 8 declarations
PaddingPolarization.lean 2 declarations
PaddingPrimeOscillation.lean 6 declarations
PaddingResidueEvent.lean 3 declarations
PaddingResidueTilt.lean 6 declarations
PaddingRetainedProbability.lean 6 declarations
PaddingSelectionLaw.lean 9 declarations
PaddingSmoothBound.lean 5 declarations
PaddingSmoothMass.lean 3 declarations
PaddingStateWeights.lean 8 declarations
PaddingSum.lean 6 declarations
PaddingTilt.lean 15 declarations
PaddingWitnessProbability.lean 3 declarations
PaddingWordSum.lean 3 declarations
PairModulusDefect.lean 3 declarations
PairPrimeCosts.lean 3 declarations
PartialCentering.lean 6 declarations
PartialCenteringSum.lean 4 declarations
PatternHarmonicSum.lean 4 declarations
PatternResampling.lean 10 declarations
PerfectBlockPartition.lean 8 declarations
PerfectBlockPositions.lean 8 declarations
PerfectIntervalFamily.lean 4 declarations
PerfectRows.lean 4 declarations
PhaseSelection.lean 2 declarations
PhysicalMatrixComparison.lean 3 declarations
PhysicalPathSupport.lean 6 declarations
PositiveCostPeriodicity.lean 3 declarations
PositiveNormalization.lean 7 declarations
PositivePrimeCostComparison.lean 1 declarations
PositivePrimeTilt.lean 15 declarations
PositiveRowMajorant.lean 5 declarations
PositiveWeightComparison.lean 6 declarations
PositiveWordProbability.lean 10 declarations
PowerSmallBall.lean 3 declarations
PrefixDeletionBridge.lean 3 declarations
PreorderNumbering.lean 8 declarations
PrimeAlphabetSize.lean 3 declarations
PrimeBlockDimension.lean 2 declarations
PrimeComplexMatrix.lean 4 declarations
PrimeCoordinates.lean 2 declarations
PrimeCostTails.lean 3 declarations
PrimeCountDilation.lean 4 declarations
PrimeDefectBias.lean 7 declarations
PrimeDefectCRT.lean 2 declarations
PrimeDefectLimit.lean 3 declarations
PrimeDefectMajorant.lean 11 declarations
PrimeDefectMean.lean 3 declarations
PrimeDefectPhase.lean 1 declarations
PrimeDegreeCircuit.lean 12 declarations
PrimeDegreeTail.lean 14 declarations
PrimeFamilyGraph.lean 4 declarations
PrimeFamilyWeights.lean 8 declarations
PrimeLiouvilleQuadratic.lean 1 declarations
PrimeLiteralEncoding.lean 9 declarations
PrimeMatrixResidues.lean 3 declarations
PrimeModulusDefect.lean 6 declarations
PrimePaddingDeletion.lean 5 declarations
PrimePaddingFactorization.lean 7 declarations
PrimePairCatalog.lean 5 declarations
PrimePartialSummation.lean 3 declarations
PrimePhysicalMatrix.lean 2 declarations
PrimeReciprocalLaw.lean 6 declarations
PrimeReciprocalTheorem.lean 2 declarations
PrimeRelations.lean 24 declarations
PrimeResidueLift.lean 7 declarations
PrimeRowMomentScale.lean 4 declarations
PrimeRowMoments.lean 5 declarations
PrimeRowSecondMoment.lean 7 declarations
PrimeSlotClasses.lean 12 declarations
PrimeSlotCode.lean 15 declarations
PrimeSubsetSplitting.lean 5 declarations
PrimeSupplyGeometry.lean 13 declarations
PrimeSupplyScale.lean 4 declarations
PrimeTraceParameters.lean 2 declarations
PrimeTupleMass.lean 6 declarations
PrimeTuplePool.lean 11 declarations
PrimeWordEncoding.lean 6 declarations
ProgressionBlockTesting.lean 5 declarations
ProgressionCompressionGate.lean 2 declarations
ProgressionDeduction.lean 3 declarations
ProgressionEdgeGate.lean 4 declarations
ProgressionFourier.lean 5 declarations
ProgressionGateOnEdge.lean 1 declarations
ProgressionMeanIdentity.lean 2 declarations
ProgressionPartition.lean 3 declarations
ProjectedGraphTesting.lean 4 declarations
ProjectedLiouvilleVector.lean 2 declarations
ProjectedPrimeLiouville.lean 1 declarations
QualitativeCanonicalCentering.lean 2 declarations
QualitativeCenteringRate.lean 4 declarations
QualitativeCenteringTotal.lean 1 declarations
QualitativeDivisorTransfer.lean 3 declarations
QualitativeDivisorTransferRight.lean 2 declarations
QualitativePartialCentering.lean 2 declarations
QualitativePrimeScale.lean 5 declarations
QualitativeRightBins.lean 1 declarations
QualitativeRightShifts.lean 3 declarations
QualitativeRoughBins.lean 3 declarations
QualitativeRoughFourier.lean 2 declarations
QualitativeRoughShifts.lean 1 declarations
QualitativeShiftScale.lean 3 declarations
QualitativeShortSums.lean 2 declarations
QualitativeSieveBoundary.lean 1 declarations
QualitativeSieveParameters.lean 5 declarations
QualitativeSquareWindows.lean 2 declarations
QualitativeStrongRight.lean 1 declarations
QualitativeStrongRoughShifts.lean 1 declarations
QualitativeStrongScale.lean 1 declarations
QualitativeWindowScale.lean 2 declarations
QuantitativeCenteringAssembly.lean 3 declarations
QuantitativeDivisorBins.lean 2 declarations
QuantitativeFinalWindows.lean 6 declarations
QuantitativeFixedScale.lean 1 declarations
QuantitativeParameterChoice.lean 6 declarations
QuantitativeResidueBins.lean 6 declarations
QuantitativeRoughBins.lean 1 declarations
QuantitativeTupleBins.lean 3 declarations
QuotientLines.lean 3 declarations
QuotientPathNumbering.lean 2 declarations
QuotientRunPaths.lean 5 declarations
RandomPrimeRank.lean 4 declarations
RareRowDecay.lean 2 declarations
RareRowSum.lean 2 declarations
RawPairSelection.lean 1 declarations
ReciprocalColumnRank.lean 1 declarations
ReciprocalPaddingLaw.lean 9 declarations
ReciprocalPrimeBands.lean 5 declarations
ReciprocalProgressions.lean 3 declarations
ReciprocalSampling.lean 7 declarations
RecordedWitnessSegments.lean 2 declarations
RegularColumnNames.lean 4 declarations
RegularFamilyNames.lean 3 declarations
RegularLineAnchors.lean 1 declarations
RegularQuotient.lean 5 declarations
RegularSegmentCoding.lean 2 declarations
RelationReindex.lean 4 declarations
ResampledWitnesses.lean 3 declarations
RescaledPrefixSums.lean 3 declarations
ResidueBox.lean 9 declarations
ResidueCentering.lean 8 declarations
ResidueCounts.lean 13 declarations
ResidueExpansion.lean 17 declarations
ResidueLawUniform.lean 2 declarations
ResidueMatrixMoment.lean 2 declarations
ResidueNumericalWitnesses.lean 1 declarations
ResidueRestriction.lean 11 declarations
ResidueSampling.lean 10 declarations
ResidueTraceBound.lean 2 declarations
ResidueWitnessHybrid.lean 1 declarations
ResidueWordDependence.lean 3 declarations
ResolventBounds.lean 5 declarations
ResolventTransfer.lean 13 declarations
RoughCutoffAverage.lean 7 declarations
RoughCutoffProbability.lean 2 declarations
RoughFourier.lean 16 declarations
RoughFourierSieve.lean 1 declarations
RoughLiouvilleShifts.lean 1 declarations
RoughShiftAverage.lean 8 declarations
RoughShiftBoundary.lean 10 declarations
RoughShiftConvolution.lean 4 declarations
RoughShiftEndpoints.lean 2 declarations
RoughShiftScale.lean 6 declarations
RoughSieveCounts.lean 10 declarations
RoughSieveProbability.lean 7 declarations
RunCoverage.lean 3 declarations
RunPartition.lean 9 declarations
RunPartitionProperties.lean 4 declarations
RunSegments.lean 9 declarations
RunTransitionPaths.lean 3 declarations
SampleDensity.lean 5 declarations
ScalarComparison.lean 3 declarations
SelfAdjointPath.lean 8 declarations
ShiftMatrixTranslation.lean 2 declarations
ShiftMatrixWords.lean 14 declarations
ShiftTraceComparison.lean 3 declarations
ShiftTransfer.lean 4 declarations
ShiftedDegreeDeletion.lean 1 declarations
ShiftedIntegerPaths.lean 8 declarations
ShiftedPaddingBound.lean 2 declarations
ShiftedPaddingComparison.lean 1 declarations
ShiftedRareComparison.lean 2 declarations
ShiftedRareDeletion.lean 4 declarations
ShiftedVariableRare.lean 2 declarations
ShortBlockPartition.lean 15 declarations
ShortColumnBlocks.lean 8 declarations
ShortSumSampling.lean 14 declarations
SieveBoundary.lean 4 declarations
SieveBoundaryScale.lean 3 declarations
SieveCRT.lean 6 declarations
SieveCutoffScale.lean 3 declarations
SieveDivisorAverage.lean 4 declarations
SieveEulerLower.lean 12 declarations
SieveEulerTruncation.lean 2 declarations
SieveGoldbachDenominator.lean 2 declarations
SieveGoldbachLocal.lean 7 declarations
SieveGoldbachPairs.lean 2 declarations
SieveGoldbachTruncation.lean 3 declarations
SieveIntersections.lean 3 declarations
SieveModel.lean 12 declarations
SievePrimeEnergy.lean 3 declarations
SievePrimeSubsets.lean 5 declarations
SieveProducts.lean 6 declarations
SieveScale.lean 1 declarations
SieveSingularAverage.lean 6 declarations
SieveSingularLocal.lean 5 declarations
SieveUniformPairs.lean 2 declarations
SingletonCenteredCatalog.lean 1 declarations
SingletonDecay.lean 5 declarations
SingletonEncodedSupport.lean 2 declarations
SingletonFamily.lean 3 declarations
SingletonPaddingSupport.lean 2 declarations
SingletonWordEnvelope.lean 1 declarations
SmoothDivisorDecomposition.lean 14 declarations
SmoothProductBounds.lean 6 declarations
SmoothReciprocalMass.lean 6 declarations
SmoothTailDensity.lean 2 declarations
SmoothWindowBound.lean 3 declarations
SmoothWindowSum.lean 7 declarations
SourceDeletionTerms.lean 6 declarations
SpectralScale.lean 1 declarations
SpectralTransfer.lean 4 declarations
SplitBadWordSum.lean 5 declarations
SplitWitnessSum.lean 1 declarations
StateCostComparison.lean 2 declarations
SuppliedTupleWords.lean 8 declarations
SymmetricEdgeTesting.lean 3 declarations
ThetaLogError.lean 4 declarations
TraceCatalogMaps.lean 7 declarations
TraceClassPartition.lean 1 declarations
TraceDesignationSlices.lean 3 declarations
TraceDesignations.lean 4 declarations
TraceErrorAbsorption.lean 3 declarations
TraceFourBounds.lean 1 declarations
TraceIntervalError.lean 1 declarations
TraceParameterBudget.lean 2 declarations
TriangleKernel.lean 7 declarations
TriangularElimination.lean 8 declarations
TruncatedDilation.lean 7 declarations
UncutCenteredProfile.lean 2 declarations
UniformResidueTranslation.lean 5 declarations
UniformResidues.lean 5 declarations
VariableDegreeDeletion.lean 2 declarations
VariablePaddingDeletion.lean 2 declarations
VariableWindowComparison.lean 2 declarations
WeightedCenteredWord.lean 1 declarations
WeightedDesignationBound.lean 2 declarations
WeightedDivisorWord.lean 1 declarations
WeightedFourierIntegration.lean 2 declarations
WeightedMatrixTest.lean 2 declarations
WeightedRetainedBins.lean 1 declarations
WeightedRoughFourier.lean 5 declarations
WeightedRows.lean 6 declarations
WeightedShiftAverage.lean 7 declarations
WeightedShiftConvolution.lean 2 declarations
WeightedShiftParameters.lean 3 declarations
WeightedShiftRight.lean 4 declarations
WeightedThetaError.lean 1 declarations
WeightedTupleDesignation.lean 1 declarations
WindowPolynomialBounds.lean 14 declarations
ZeroRows.lean 4 declarations