OAI/NumberTheory/Ostmann/Arithmetic/

Files

• AccidentalDivisibility.lean 3 declarations
• ArithmeticCRTSeparation.lean 2 declarations
• ArithmeticCoincidences.lean 4 declarations
• ArithmeticDiagonalPatternNormRate.lean 1 declarations
• ArithmeticErrorRates.lean 9 declarations
• ArithmeticFrequencyTree.lean 5 declarations
• ArithmeticGoodPatternRate.lean 2 declarations
• ArithmeticHistoryLines.lean 6 declarations
• ArithmeticHistorySupportSum.lean 2 declarations
• ArithmeticIntegerComparison.lean 2 declarations
• ArithmeticLifts.lean 12 declarations
• ArithmeticLineComparison.lean 5 declarations
• ArithmeticLineIntegration.lean 11 declarations
• ArithmeticLines.lean 9 declarations
• ArithmeticNormRate.lean 3 declarations
• ArithmeticPatternErrorRate.lean 5 declarations
• ArithmeticPatternNormRate.lean 1 declarations
• ArithmeticPatternPriorRate.lean 2 declarations
• ArithmeticPrecision.lean 3 declarations
• ArithmeticPrimeNormRate.lean 3 declarations
• ArithmeticProductSupport.lean 3 declarations
• ArithmeticQuadraticCoefficient.lean 11 declarations
• ArithmeticResidueReversal.lean 5 declarations
• ArithmeticResidueSplit.lean 10 declarations
• ArithmeticSlotProducts.lean 11 declarations
• ArithmeticSpectatorHistory.lean 5 declarations
• ArithmeticSpectatorNode.lean 6 declarations
• ArithmeticSplitData.lean 8 declarations
• ArithmeticSplitTreeSupport.lean 8 declarations
• ArithmeticSupport.lean 4 declarations
• ArithmeticSupportRate.lean 2 declarations
• ArithmeticTwoPrimePatternNormRate.lean 2 declarations
• AssignedPrimeCellReplacement.lean 4 declarations
• AtomIntervalComplexity.lean 2 declarations
• AtomIntervalRanges.lean 6 declarations
• AveragedArithmeticTransfer.lean 2 declarations
• BipartiteHaar.lean 11 declarations
• BoundedLineComparison.lean 1 declarations
• BulkAbsoluteIntegral.lean 2 declarations
• BulkAtomicProduct.lean 2 declarations
• BulkBoxReassembly.lean 2 declarations
• BulkCellMixtures.lean 5 declarations
• BulkCollisionSupport.lean 4 declarations
• BulkCoordinateEnumeration.lean 2 declarations
• BulkCoordinateInsertion.lean 7 declarations
• BulkDeletionCost.lean 2 declarations
• BulkDeletionRate.lean 3 declarations
• BulkDistinctnessRemoval.lean 4 declarations
• BulkFourierFactors.lean 4 declarations
• BulkFrequencyFactor.lean 5 declarations
• BulkFrequencyRepresentative.lean 1 declarations
• BulkFrequencyResidues.lean 6 declarations
• BulkFullSupportPolynomials.lean 4 declarations
• BulkHalfLogBudgetComparison.lean 1 declarations
• BulkIntegrands.lean 15 declarations
• BulkKernelCellComparison.lean 1 declarations
• BulkKernelCellError.lean 1 declarations
• BulkKernelIntegralComparison.lean 2 declarations
• BulkKernelJointComparison.lean 1 declarations
• BulkKernelPairComparison.lean 3 declarations
• BulkLeafPolynomials.lean 3 declarations
• BulkLogBudgetComparison.lean 1 declarations
• BulkLogContinuity.lean 14 declarations
• BulkLogJointComparison.lean 1 declarations
• BulkLogPairComparison.lean 3 declarations
• BulkLogSliceComparison.lean 3 declarations
• BulkLogWeightedCellComparison.lean 1 declarations
• BulkLogWeightedIntegrand.lean 2 declarations
• BulkLogWeightedKernelPairComparison.lean 2 declarations
• BulkLogWeightedNorm.lean 1 declarations
• BulkLogWeightedSlice.lean 1 declarations
• BulkNodeFactors.lean 4 declarations
• BulkNodePolynomials.lean 4 declarations
• BulkNodeSupportPolynomials.lean 7 declarations
• BulkPageProductIntegral.lean 1 declarations
• BulkPageProjection.lean 1 declarations
• BulkPairPrimeComparison.lean 3 declarations
• BulkPiIntegral.lean 6 declarations
• BulkPrimeAtoms.lean 4 declarations
• BulkPrimeCellMass.lean 4 declarations
• BulkPrimeComparison.lean 3 declarations
• BulkPrimeIntegrands.lean 3 declarations
• BulkProductMixtures.lean 2 declarations
• BulkRegularSupport.lean 2 declarations
• BulkResidueAbsolute.lean 2 declarations
• BulkResidueCRT.lean 6 declarations
• BulkResidueCoprime.lean 4 declarations
• BulkResidueIntegral.lean 2 declarations
• BulkResidueMixtures.lean 1 declarations
• BulkResiduePageBound.lean 4 declarations
• BulkSeparatedKernelBound.lean 2 declarations
• BulkSeparatedPrimeBound.lean 1 declarations
• BulkSignedBoxBound.lean 1 declarations
• BulkSignedIntegralBound.lean 2 declarations
• BulkSlotFieldBridge.lean 5 declarations
• BulkSlotNodup.lean 5 declarations
• BulkSlotPolynomials.lean 9 declarations
• BulkSmoothFactors.lean 4 declarations
• BulkSmoothRootCuts.lean 1 declarations
• BulkSpectatorNorm.lean 6 declarations
• BulkSpectatorPageBound.lean 1 declarations
• BulkStatisticBound.lean 2 declarations
• BulkSymmetrization.lean 8 declarations
• BulkWeightedCellComparison.lean 2 declarations
• BulkWeightedCost.lean 1 declarations
• BulkWeightedErrorBudget.lean 4 declarations
• BulkWeightedErrorRate.lean 1 declarations
• CRTInternalLines.lean 3 declarations
• CRTLineAverage.lean 7 declarations
• CRTLineProbabilities.lean 3 declarations
• CRTPhaseLift.lean 1 declarations
• CRTResidueAverage.lean 3 declarations
• CanonicalHistoryLeafBulk.lean 5 declarations
• CanonicalHistoryLeafBulkBasic.lean 13 declarations
• CanonicalHistoryLeafBulkCoupled.lean 4 declarations
• CanonicalHistoryLeafBulkDecode.lean 1 declarations
• CanonicalHistoryLeafBulkHaar.lean 11 declarations
• CanonicalHistoryLeafBulkRows.lean 5 declarations
• CanonicalHistoryLeafBulkSamples.lean 4 declarations
• CanonicalHistoryLeafBulkUnits.lean 5 declarations
• CellDifferenceGCD.lean 5 declarations
• ClearedCoefficientFlags.lean 16 declarations
• ClearedHistoryBounds.lean 6 declarations
• ClearedHistoryPivot.lean 15 declarations
• ClearedPolynomialRanges.lean 6 declarations
• CommonHistoryPeriod.lean 10 declarations
• CommonRootMesh.lean 7 declarations
• CompensatedHistoryEnergy.lean 1 declarations
• CompensatedHistoryRate.lean 2 declarations
• CompensatedPairSupport.lean 7 declarations
• CompensatedPivotPrecision.lean 3 declarations
• CompensationEqualityPatterns.lean 14 declarations
• CompensationEqualityPatternsBasic.lean 20 declarations
• CompensationEqualityPatternsHistory.lean 6 declarations
• CompensationEqualityPatternsLaws.lean 4 declarations
• CompensationEqualityPatternsSources.lean 13 declarations
• CompensationEqualityPatternsTests.lean 3 declarations
• CompositeSquareRoots.lean 7 declarations
• CompositeSquareRootsDensity.lean 4 declarations
• CompositeSquareRootsGcd.lean 3 declarations
• CompositeSquareRootsLCM.lean 4 declarations
• ContinuousIntegerComparison.lean 3 declarations
• ContinuousIntervalMesh.lean 1 declarations
• ContinuousPrimeComparison.lean 1 declarations
• CorrectedAggregate.lean 1 declarations
• CorrectedAggregatePoint.lean 1 declarations
• CorrectedCollisionMean.lean 2 declarations
• CorrectedKernelCollision.lean 1 declarations
• CorrectedOptionScalar.lean 1 declarations
• DiagonalSmallResidueNorm.lean 2 declarations
• DiagonalSmallResidueNormActual.lean 3 declarations
• DiagonalSmallResidueNormActualBasic.lean 9 declarations
• DiagonalSmallResidueNormActualCRT.lean 5 declarations
• DiagonalSmallResidueNormActualProduct.lean 11 declarations
• DiagonalSmallResidueNormActualSupport.lean 4 declarations
• DiagonalSmallResidueNormBasic.lean 7 declarations
• DiagonalSmallResidueNormBound.lean 5 declarations
• DiagonalSmallResidueNormCRT.lean 8 declarations
• DiagonalSmallResidueNormProduct.lean 10 declarations
• DivisorGrowth.lean 5 declarations
• DivisorGrowthLocal.lean 3 declarations
• DivisorGrowthTotient.lean 4 declarations
• DivisorSquareMean.lean 5 declarations
• FiniteArithmeticIteration.lean 2 declarations
• FiniteArithmeticStep.lean 3 declarations
• FiniteAtomIntervalIteration.lean 2 declarations
• FiniteAtomIntervalStep.lean 1 declarations
• FiniteRootFibres.lean 6 declarations
• FiniteRootMesh.lean 3 declarations
• FiniteSeparatedHeight.lean 1 declarations
• ForwardHistoryRate.lean 1 declarations
• ForwardHistorySupport.lean 6 declarations
• FrequencyBudgetRates.lean 2 declarations
• FrequencyBulkNorm.lean 4 declarations
• FrequencyBulkSupport.lean 4 declarations
• FrequencyLCM.lean 5 declarations
• FrequencyModelAdaptiveSupport.lean 5 declarations
• FrequencyModelCoefficients.lean 9 declarations
• FrequencyModelFrozen.lean 5 declarations
• FrequencyModelModulus.lean 8 declarations
• FrequencyModelPairSupport.lean 3 declarations
• FrequencyModelPaths.lean 7 declarations
• FrequencyModelValidity.lean 5 declarations
• FrequencyMultiplicity.lean 3 declarations
• FrequencyPrecision.lean 6 declarations
• FrequencyTreeNodes.lean 13 declarations
• FrequencyTreeSum.lean 6 declarations
• FrozenArithmeticFactors.lean 1 declarations
• FrozenArithmeticNorm.lean 1 declarations
• FrozenBulkFrequencyNorm.lean 1 declarations
• FrozenFrequencyAverage.lean 5 declarations
• FrozenFrequencySupport.lean 2 declarations
• FrozenMovingSamples.lean 4 declarations
• FrozenPrimeArithmeticNorm.lean 3 declarations
• FrozenPrimeUnitArithmetic.lean 3 declarations
• FrozenRegularSupport.lean 7 declarations
• FrozenSpectatorAbsolute.lean 2 declarations
• FrozenSpectatorAverage.lean 7 declarations
• FrozenSpectatorDiagram.lean 3 declarations
• FrozenSpectatorGain.lean 1 declarations
• FrozenSpectatorNorm.lean 3 declarations
• FrozenSupportedArithmetic.lean 6 declarations
• FrozenUnitArithmetic.lean 5 declarations
• GiantCollisionError.lean 7 declarations
• GiantCollisionErrorBasic.lean 8 declarations
• GiantCollisionErrorInteger.lean 8 declarations
• GiantCollisionErrorSupport.lean 4 declarations
• GlobalHistoryCoefficient.lean 7 declarations
• GlobalHistoryPairBound.lean 3 declarations
• GlobalHistoryPairDecay.lean 1 declarations
• GroupHaarImage.lean 3 declarations
• GroupedBulkSymmetrization.lean 2 declarations
• GuardedHistoryCancellation.lean 3 declarations
• GuardedHistoryPair.lean 2 declarations
• GuardedRegularCRT.lean 5 declarations
• HarmonicGraphCancellation.lean 1 declarations
• HarmonicHistoryRates.lean 1 declarations
• HarmonicHistorySupport.lean 2 declarations
• HarmonicOneSidedBound.lean 1 declarations
• HarmonicPairIntegral.lean 2 declarations
• HarmonicPeriodicBound.lean 1 declarations
• HistoryActiveCoordinates.lean 8 declarations
• HistoryActiveSourceDomain.lean 3 declarations
• HistoryActualComparisonDecayArithmetic.lean 7 declarations
• HistoryActualComparisonDecayArithmeticSelected.lean 4 declarations
• HistoryActualNumerators.lean 8 declarations
• HistoryBulkActualBSquareReplacementBasic.lean 3 declarations
• HistoryBulkActualBSquareReplacementBoundInterface.lean 1 declarations
• HistoryBulkActualBSquareReplacementCorrectedBasic.lean 3 declarations
• HistoryBulkActualBSquareReplacementCorrectedSelected.lean 1 declarations
• HistoryBulkActualBSquareReplacementFinite.lean 1 declarations
• HistoryBulkActualBSquareReplacementGeometryInterface.lean 1 declarations
• HistoryBulkActualBSquareReplacementLaws.lean 8 declarations
• HistoryBulkActualBSquareReplacementLawsSelected.lean 1 declarations
• HistoryBulkActualBSquareReplacementSelected.lean 1 declarations
• HistoryBulkActualBSquareReplacementZeroCost.lean 1 declarations
• HistoryBulkActualCorrectedPrincipalBlockFamilyData.lean 3 declarations
• HistoryBulkActualCorrectedPrincipalBlockFamilyDensity.lean 2 declarations
• HistoryBulkActualCorrectedPrincipalBlockFamilyDensityBound.lean 1 declarations
• HistoryBulkActualCorrectedPrincipalBlockFamilyDensityExpression.lean 1 declarations
• HistoryBulkActualCorrectedPrincipalBlockFamilyDensitySelected.lean 1 declarations
• HistoryBulkActualCorrectedPrincipalBlockFamilyDensityStatement.lean 1 declarations
• HistoryBulkActualCorrectedPrincipalBlockFamilyError.lean 1 declarations
• HistoryBulkActualCorrectedPrincipalBlockFamilyFactory.lean 3 declarations
• HistoryBulkActualCorrectedPrincipalBlockFamilySelected.lean 1 declarations
• HistoryBulkActualCorrectedReferenceFamily.lean 1 declarations
• HistoryBulkActualCorrectedReferenceFamilyBasic.lean 5 declarations
• HistoryBulkActualCorrectedReferenceFamilyMatchedMetadata.lean 2 declarations
• HistoryBulkActualCorrectedReferenceFamilyMatchedReference.lean 6 declarations
• HistoryBulkActualGoodPrincipalCorrected.lean 3 declarations
• HistoryBulkActualGoodPrincipalCorrectedFamily.lean 5 declarations
• HistoryBulkActualGoodPrincipalCorrectedPattern.lean 2 declarations
• HistoryBulkActualGoodPrincipalCorrectedReference.lean 3 declarations
• HistoryBulkActualGoodPrincipalCorrectedReferenceBasic.lean 4 declarations
• HistoryBulkActualGoodPrincipalCorrectedReferenceFrame.lean 11 declarations
• HistoryBulkActualGoodPrincipalCorrectedSourceSupport.lean 2 declarations
• HistoryBulkActualGoodPrincipalCorrectedSourceSupportCoordinates.lean 1 declarations
• HistoryBulkActualGoodPrincipalDensity.lean 5 declarations
• HistoryBulkActualGoodPrincipalFamily.lean 4 declarations
• HistoryBulkActualGoodPrincipalMean.lean 3 declarations
• HistoryBulkActualGoodPrincipalPattern.lean 3 declarations
• HistoryBulkActualGoodPrincipalPlain.lean 3 declarations
• HistoryBulkActualGoodPrincipalPlainDefs.lean 2 declarations
• HistoryBulkActualGoodPrincipalPlainSelected.lean 1 declarations
• HistoryBulkActualGoodPrincipalReference.lean 8 declarations
• HistoryBulkActualIntegralReplacementCorrected.lean 1 declarations
• HistoryBulkActualIntegralReplacementCorrectedDefs.lean 0 declarations
• HistoryBulkActualIntegralReplacementCorrectedDefsBasic.lean 1 declarations
• HistoryBulkActualIntegralReplacementPlain.lean 1 declarations
• HistoryBulkActualIntegralReplacementPlainDefs.lean 1 declarations
• HistoryBulkActualPrincipalBlockFamilyMatchedFactory.lean 2 declarations
• HistoryBulkActualPrincipalBlockFamilyMatchedMean.lean 6 declarations
• HistoryBulkActualPrincipalBlockFamilyMatchedMetadata.lean 2 declarations
• HistoryBulkActualPrincipalBlockFamilyMatchedReference.lean 6 declarations
• HistoryBulkActualPrincipalBlockFamilyMatchedSelectedData.lean 4 declarations
• HistoryBulkActualPrincipalBlockFamilyMatchedSelection.lean 4 declarations
• HistoryBulkActualPrincipalBlockFamilyMetadata.lean 2 declarations
• HistoryBulkActualPrincipalBlockFamilyOuter.lean 8 declarations
• HistoryBulkActualPrincipalBlockFamilyOuterBackground.lean 2 declarations
• HistoryBulkActualPrincipalBlockFamilyOuterBackgroundDefs.lean 8 declarations
• HistoryBulkActualPrincipalBlockFamilyOuterBackgroundMass.lean 7 declarations
• HistoryBulkActualPrincipalBlockFamilyOuterData.lean 5 declarations
• HistoryBulkActualPrincipalBlockFamilyOuterEquiv.lean 5 declarations
• HistoryBulkActualPrincipalBlockFamilyOuterEquivBasic.lean 6 declarations
• HistoryBulkActualPrincipalBlockFamilyOuterMass.lean 6 declarations
• HistoryBulkActualPrincipalBlockFamilyOuterSupport.lean 5 declarations
• HistoryBulkActualPrincipalBlockFamilyReference.lean 7 declarations
• HistoryBulkActualPrincipalCollisionBackground.lean 3 declarations
• HistoryBulkActualPrincipalCollisionCorrectedBackground.lean 2 declarations
• HistoryBulkActualPrincipalCollisionCorrectedBackgroundBound.lean 1 declarations
• HistoryBulkActualPrincipalCollisionCorrectedBackgroundCanonicalFinite.lean 1 declarations
• HistoryBulkActualPrincipalCollisionCorrectedBackgroundDefs.lean 1 declarations
• HistoryBulkActualPrincipalCollisionCorrectedBackgroundFinalProperty.lean 1 declarations
• HistoryBulkActualPrincipalCollisionCorrectedBackgroundFinite.lean 1 declarations
• HistoryBulkActualPrincipalCollisionCorrectedBackgroundIdentity.lean 1 declarations
• HistoryBulkActualPrincipalCollisionCorrectedBackgroundProperty.lean 1 declarations
• HistoryBulkActualPrincipalCollisionCorrectedBackgroundScalarDefs.lean 1 declarations
• HistoryBulkActualPrincipalCollisionCorrectedBasic.lean 3 declarations
• HistoryBulkActualPrincipalCollisionCorrectedData.lean 3 declarations
• HistoryBulkActualPrincipalCollisionCorrectedFalse.lean 1 declarations
• HistoryBulkActualPrincipalCollisionCorrectedFalseBlock.lean 1 declarations
• HistoryBulkActualPrincipalCollisionCorrectedFalseFamily.lean 1 declarations
• HistoryBulkActualPrincipalCollisionCorrectedFalseGlueSum.lean 1 declarations
• HistoryBulkActualPrincipalCollisionCorrectedGuard.lean 1 declarations
• HistoryBulkActualPrincipalCollisionCorrectedHistories.lean 2 declarations
• HistoryBulkActualPrincipalCollisionCorrectedIntegral.lean 1 declarations
• HistoryBulkActualPrincipalCollisionCorrectedKernel.lean 1 declarations
• HistoryBulkActualPrincipalCollisionCorrectedKernelBasic.lean 1 declarations
• HistoryBulkActualPrincipalCollisionCorrectedOption.lean 3 declarations
• HistoryBulkActualPrincipalCollisionCorrectedOptionFalse.lean 1 declarations
• HistoryBulkActualPrincipalCollisionCorrectedSelectedBlockDefs.lean 1 declarations
• HistoryBulkActualPrincipalCollisionCorrectedSelectedDefs.lean 0 declarations
• HistoryBulkActualPrincipalCollisionCorrectedSelectedMask.lean 1 declarations
• HistoryBulkActualPrincipalCollisionCorrectedSelectedMaskBound.lean 1 declarations
• HistoryBulkActualPrincipalCollisionCorrectedSelectedMeanDefs.lean 1 declarations
• HistoryBulkActualPrincipalCollisionCorrectedSelectedMeanPattern.lean 2 declarations
• HistoryBulkActualPrincipalCollisionCorrectedSelectedNormalForm.lean 0 declarations
• HistoryBulkActualPrincipalCollisionCorrectedSelectedPattern.lean 1 declarations
• HistoryBulkActualPrincipalCollisionCorrectedSelectedReferences.lean 1 declarations
• HistoryBulkActualPrincipalCollisionCorrectedSpectatorDefs.lean 1 declarations
• HistoryBulkActualPrincipalCollisionCorrectedSum.lean 1 declarations
• HistoryBulkActualPrincipalCollisionCorrectedSumDefs.lean 2 declarations
• HistoryBulkActualPrincipalCollisionCorrectedValue.lean 4 declarations
• HistoryBulkActualPrincipalCollisionFalse.lean 1 declarations
• HistoryBulkActualPrincipalCollisionFalseAlgebra.lean 1 declarations
• HistoryBulkActualPrincipalCollisionFalseCollision.lean 1 declarations
• HistoryBulkActualPrincipalCollisionFalseDefs.lean 1 declarations
• HistoryBulkActualPrincipalCollisionFalseFamily.lean 1 declarations
• HistoryBulkActualPrincipalCollisionFalseMean.lean 1 declarations
• HistoryBulkActualPrincipalCollisionFalseTerm.lean 1 declarations
• HistoryBulkActualPrincipalCollisionGuardAlgebra.lean 3 declarations
• HistoryBulkActualPrincipalCollisionIntegral.lean 1 declarations
• HistoryBulkActualPrincipalCollisionKernel.lean 1 declarations
• HistoryBulkActualPrincipalCollisionKernelBasic.lean 1 declarations
• HistoryBulkActualPrincipalCollisionKernelCollision.lean 2 declarations
• HistoryBulkActualPrincipalCollisionKernelExpansion.lean 1 declarations
• HistoryBulkActualPrincipalCollisionKernelStageCollisionNormal.lean 5 declarations
• HistoryBulkActualPrincipalCollisionKernelStageCollisionNormalRestored.lean 3 declarations
• HistoryBulkActualPrincipalCollisionKernelStageCollisionRestoredBlock.lean 1 declarations
• HistoryBulkActualPrincipalCollisionKernelStageFubini.lean 1 declarations
• HistoryBulkActualPrincipalCollisionKernelStageKernelNormal.lean 1 declarations
• HistoryBulkActualPrincipalCollisionKernelStageKernelValue.lean 3 declarations
• HistoryBulkActualPrincipalCollisionKernelStageKernelValueMean.lean 2 declarations
• HistoryBulkActualPrincipalCollisionKernelStageMean.lean 1 declarations
• HistoryBulkActualPrincipalCollisionKernelStageOptionBasic.lean 1 declarations
• HistoryBulkActualPrincipalCollisionKernelStageOptionGuardBasic.lean 2 declarations
• HistoryBulkActualPrincipalCollisionKernelStageOptionGuardIntegral.lean 1 declarations
• HistoryBulkActualPrincipalCollisionKernelStageOptionMeanBasic.lean 1 declarations
• HistoryBulkActualPrincipalCollisionKernelStageOptionSum.lean 1 declarations
• HistoryBulkActualPrincipalCollisionKernelStagePair.lean 1 declarations
• HistoryBulkActualPrincipalCollisionKernelStagePlain.lean 2 declarations
• HistoryBulkActualPrincipalCollisionKernelStagePlainCollisionDefs.lean 1 declarations
• HistoryBulkActualPrincipalCollisionKernelStagePlainCollisionIdentity.lean 1 declarations
• HistoryBulkActualPrincipalCollisionKernelStagePlainKernelDefs.lean 1 declarations
• HistoryBulkActualPrincipalCollisionKernelStagePlainKernelIdentity.lean 1 declarations
• HistoryBulkActualPrincipalCollisionKernelStagePlainLaw.lean 2 declarations
• HistoryBulkActualPrincipalCollisionKernelStagePlainSource.lean 1 declarations
• HistoryBulkActualPrincipalCollisionKernelStageSum.lean 4 declarations
• HistoryBulkActualPrincipalCollisionKernelTerm.lean 1 declarations
• HistoryBulkActualPrincipalCollisionNormalForm.lean 2 declarations
• HistoryBulkActualPrincipalCollisionNumerics.lean 1 declarations
• HistoryBulkActualPrincipalCollisionPattern.lean 3 declarations
• HistoryBulkActualPrincipalCollisionPlainBackground.lean 4 declarations
• HistoryBulkActualPrincipalCollisionPlainDefs.lean 2 declarations
• HistoryBulkActualPrincipalCollisionPlainErrorProperty.lean 3 declarations
• HistoryBulkActualPrincipalCollisionPlainEstimate.lean 1 declarations
• HistoryBulkActualPrincipalCollisionPlainFalse.lean 2 declarations
• HistoryBulkActualPrincipalCollisionPlainFalseDefs.lean 2 declarations
• HistoryBulkActualPrincipalCollisionPlainMixedData.lean 3 declarations
• HistoryBulkActualPrincipalCollisionPlainMixedEstimate.lean 2 declarations
• HistoryBulkActualPrincipalCollisionPlainPrimeData.lean 3 declarations
• HistoryBulkActualPrincipalCollisionPlainPrimeEstimate.lean 2 declarations
• HistoryBulkActualPrincipalCollisionPlainSupport.lean 3 declarations
• HistoryBulkActualPrincipalCollisionReference.lean 4 declarations
• HistoryBulkActualPrincipalCollisionSelectedDefs.lean 4 declarations
• HistoryBulkActualPrincipalCollisionSelectedNormalForm.lean 1 declarations
• HistoryBulkActualPrincipalCollisionSelectedPattern.lean 1 declarations
• HistoryBulkActualPrincipalCollisionValue.lean 1 declarations
• HistoryBulkActualPrincipalKernelStage.lean 2 declarations
• HistoryBulkActualPrincipalKernelStageAmplitude.lean 1 declarations
• HistoryBulkActualPrincipalKernelStageBasic.lean 2 declarations
• HistoryBulkActualPrincipalKernelStageCoordinates.lean 1 declarations
• HistoryBulkActualPrincipalKernelStageCoordinatesProduct.lean 2 declarations
• HistoryBulkActualPrincipalKernelStageCoordinatesRepresentative.lean 1 declarations
• HistoryBulkActualPrincipalKernelStageCoordinatesRoot.lean 1 declarations
• HistoryBulkActualPrincipalKernelStageCoordinatesSmall.lean 1 declarations
• HistoryBulkActualPrincipalKernelStageCorrectedAggregate.lean 0 declarations
• HistoryBulkActualPrincipalKernelStageCorrectedAggregateAlgebra.lean 1 declarations
• HistoryBulkActualPrincipalKernelStageCorrectedAmplitude.lean 1 declarations
• HistoryBulkActualPrincipalKernelStageCorrectedCollision.lean 0 declarations
• HistoryBulkActualPrincipalKernelStageCorrectedCollisionAlgebra.lean 1 declarations
• HistoryBulkActualPrincipalKernelStageCorrectedCollisionExpand.lean 1 declarations
• HistoryBulkActualPrincipalKernelStageCorrectedCollisionKernel.lean 1 declarations
• HistoryBulkActualPrincipalKernelStageCorrectedCollisionMean.lean 0 declarations
• HistoryBulkActualPrincipalKernelStageCorrectedCollisionMeanExchange.lean 1 declarations
• HistoryBulkActualPrincipalKernelStageCorrectedCollisionMeanExchangeBasic.lean 1 declarations
• HistoryBulkActualPrincipalKernelStageCorrectedCollisionOptionBasic.lean 1 declarations
• HistoryBulkActualPrincipalKernelStageCorrectedCollisionOptionRealBasic.lean 1 declarations
• HistoryBulkActualPrincipalKernelStageCorrectedCollisionScalar.lean 3 declarations
• HistoryBulkActualPrincipalKernelStageCorrectedCollisionTerm.lean 1 declarations
• HistoryBulkActualPrincipalKernelStageCorrectedCoordinates.lean 1 declarations
• HistoryBulkActualPrincipalKernelStageCorrectedCoordinatesProduct.lean 2 declarations
• HistoryBulkActualPrincipalKernelStageCorrectedCoordinatesRepresentative.lean 1 declarations
• HistoryBulkActualPrincipalKernelStageCorrectedCoordinatesSmall.lean 1 declarations
• HistoryBulkActualPrincipalKernelStageCorrectedDefs.lean 0 declarations
• HistoryBulkActualPrincipalKernelStageCorrectedFamily.lean 2 declarations
• HistoryBulkActualPrincipalKernelStageCorrectedFamilySquare.lean 1 declarations
• HistoryBulkActualPrincipalKernelStageCorrectedMaskDefs.lean 1 declarations
• HistoryBulkActualPrincipalKernelStageCorrectedMean.lean 1 declarations
• HistoryBulkActualPrincipalKernelStageCorrectedMeanAlgebra.lean 2 declarations
• HistoryBulkActualPrincipalKernelStageCorrectedMeanBasic.lean 1 declarations
• HistoryBulkActualPrincipalKernelStageCorrectedMeanDisintegration.lean 1 declarations
• HistoryBulkActualPrincipalKernelStageCorrectedMeanMass.lean 1 declarations
• HistoryBulkActualPrincipalKernelStageCorrectedMeanOption.lean 1 declarations
• HistoryBulkActualPrincipalKernelStageCorrectedMeanOuter.lean 1 declarations
• HistoryBulkActualPrincipalKernelStageCorrectedMeanOuterStatement.lean 1 declarations
• HistoryBulkActualPrincipalKernelStageCorrectedMeanScalarDefs.lean 1 declarations
• HistoryBulkActualPrincipalKernelStageCorrectedMeanStatement.lean 1 declarations
• HistoryBulkActualPrincipalKernelStageCorrectedMeanSum.lean 1 declarations
• HistoryBulkActualPrincipalKernelStageCorrectedNormalize.lean 1 declarations
• HistoryBulkActualPrincipalKernelStageCorrectedNormalizeBasic.lean 2 declarations
• HistoryBulkActualPrincipalKernelStageCorrectedOption.lean 1 declarations
• HistoryBulkActualPrincipalKernelStageCorrectedOptionBasic.lean 0 declarations
• HistoryBulkActualPrincipalKernelStageCorrectedOptionDefs.lean 0 declarations
• HistoryBulkActualPrincipalKernelStageCorrectedOptionTyped.lean 2 declarations
• HistoryBulkActualPrincipalKernelStageCorrectedPattern.lean 1 declarations
• HistoryBulkActualPrincipalKernelStageCorrectedPatternAlgebra.lean 1 declarations
• HistoryBulkActualPrincipalKernelStageCorrectedPatternStatement.lean 1 declarations
• HistoryBulkActualPrincipalKernelStageCorrectedProduct.lean 1 declarations
• HistoryBulkActualPrincipalKernelStageCorrectedRestored.lean 2 declarations
• HistoryBulkActualPrincipalKernelStageCorrectedSquare.lean 1 declarations
• HistoryBulkActualPrincipalKernelStageCorrectedTerm.lean 1 declarations
• HistoryBulkActualPrincipalKernelStageCorrectedTermBasic.lean 1 declarations
• HistoryBulkActualPrincipalKernelStageCorrectedTermMask.lean 1 declarations
• HistoryBulkActualPrincipalKernelStageCorrectedTermMaskBasic.lean 1 declarations
• HistoryBulkActualPrincipalKernelStageCorrectedTermMaskGet.lean 1 declarations
• HistoryBulkActualPrincipalKernelStageCorrectedTermProjected.lean 1 declarations
• HistoryBulkActualPrincipalKernelStageCorrectedTermProjection.lean 0 declarations
• HistoryBulkActualPrincipalKernelStageCorrectedValue.lean 3 declarations
• HistoryBulkActualPrincipalKernelStageDefs.lean 4 declarations
• HistoryBulkActualPrincipalKernelStageFamily.lean 2 declarations
• HistoryBulkActualPrincipalKernelStageFamilySquare.lean 1 declarations
• HistoryBulkActualPrincipalKernelStageFubini.lean 1 declarations
• HistoryBulkActualPrincipalKernelStageMean.lean 1 declarations
• HistoryBulkActualPrincipalKernelStageMeanBasic.lean 2 declarations
• HistoryBulkActualPrincipalKernelStageNormalize.lean 1 declarations
• HistoryBulkActualPrincipalKernelStageOption.lean 2 declarations
• HistoryBulkActualPrincipalKernelStagePattern.lean 1 declarations
• HistoryBulkActualPrincipalKernelStageProjected.lean 2 declarations
• HistoryBulkActualPrincipalKernelStageRestored.lean 1 declarations
• HistoryBulkActualPrincipalKernelStageSelected.lean 1 declarations
• HistoryBulkActualPrincipalKernelStageSelectedCorrected.lean 1 declarations
• HistoryBulkActualPrincipalKernelStageSelectedCorrectedBasic.lean 1 declarations
• HistoryBulkActualPrincipalKernelStageSelectedCorrectedBasicMean.lean 1 declarations
• HistoryBulkActualPrincipalKernelStageSelectedCorrectedIndex.lean 1 declarations
• HistoryBulkActualPrincipalKernelStageSelectedCorrectedIndexBasic.lean 1 declarations
• HistoryBulkActualPrincipalKernelStageSelectedCorrectedIndexConversion.lean 1 declarations
• HistoryBulkActualPrincipalKernelStageSelectedCorrectedIndexStatement.lean 1 declarations
• HistoryBulkActualPrincipalKernelStageSelectedCorrectedStatement.lean 1 declarations
• HistoryBulkActualPrincipalKernelStageSelectedFinite.lean 2 declarations
• HistoryBulkActualPrincipalKernelStageSelectedIndexFinite.lean 2 declarations
• HistoryBulkActualPrincipalKernelStageSelectedLaws.lean 1 declarations
• HistoryBulkActualPrincipalKernelStageSelectedLawsBasic.lean 2 declarations
• HistoryBulkActualPrincipalKernelStageSelectedLawsIndex.lean 1 declarations
• HistoryBulkActualPrincipalKernelStageSquare.lean 1 declarations
• HistoryBulkActualPrincipalKernelStageTerm.lean 1 declarations
• HistoryBulkActualPrincipalKernelStageTermBasic.lean 2 declarations
• HistoryBulkActualPrincipalKernelStageValue.lean 2 declarations
• HistoryBulkActualPrincipalSourceReindexBackground.lean 3 declarations
• HistoryBulkActualPrincipalSourceReindexBackgroundRoot.lean 1 declarations
• HistoryBulkActualPrincipalSourceReindexCompensation.lean 2 declarations
• HistoryBulkActualPrincipalSourceReindexCompensationBasic.lean 1 declarations
• HistoryBulkActualPrincipalSourceReindexCompensationComplete.lean 0 declarations
• HistoryBulkActualPrincipalSourceReindexCompensationCorrected.lean 1 declarations
• HistoryBulkActualPrincipalSourceReindexCorrected.lean 2 declarations
• HistoryBulkActualPrincipalSourceReindexCorrectedDefs.lean 5 declarations
• HistoryBulkActualPrincipalSourceReindexCorrectedMean.lean 1 declarations
• HistoryBulkActualPrincipalSourceReindexCorrectedMeanBackground.lean 1 declarations
• HistoryBulkActualPrincipalSourceReindexCorrectedMeanDefs.lean 1 declarations
• HistoryBulkActualPrincipalSourceReindexCorrectedMeanExchange.lean 1 declarations
• HistoryBulkActualPrincipalSourceReindexCorrectedMeanOption.lean 1 declarations
• HistoryBulkActualPrincipalSourceReindexCorrectedMeanPoint.lean 1 declarations
• HistoryBulkActualPrincipalSourceReindexCorrectedSource.lean 1 declarations
• HistoryBulkActualPrincipalSourceReindexExchange.lean 4 declarations
• HistoryBulkActualPrincipalSourceReindexFamilyBasic.lean 2 declarations
• HistoryBulkActualPrincipalSourceReindexFamilyCorrectedDefs.lean 7 declarations
• HistoryBulkActualPrincipalSourceReindexFamilyCorrectedFactors.lean 2 declarations
• HistoryBulkActualPrincipalSourceReindexFamilyCorrectedFalse.lean 1 declarations
• HistoryBulkActualPrincipalSourceReindexFamilyCorrectedTerms.lean 2 declarations
• HistoryBulkActualPrincipalSourceReindexFamilyDefs.lean 7 declarations
• HistoryBulkActualPrincipalSourceReindexFamilyFactors.lean 2 declarations
• HistoryBulkActualPrincipalSourceReindexFamilyFalse.lean 1 declarations
• HistoryBulkActualPrincipalSourceReindexFamilyTerms.lean 2 declarations
• HistoryBulkActualPrincipalSourceReindexGeometry.lean 1 declarations
• HistoryBulkActualPrincipalSourceReindexMatched.lean 4 declarations
• HistoryBulkActualPrincipalSourceReindexMatchedDefs.lean 4 declarations
• HistoryBulkActualPrincipalSourceReindexMean.lean 1 declarations
• HistoryBulkActualPrincipalSourceReindexMeanBackground.lean 1 declarations
• HistoryBulkActualPrincipalSourceReindexMeanBackgroundExchange.lean 1 declarations
• HistoryBulkActualPrincipalSourceReindexMeanBackgroundFunctions.lean 3 declarations
• HistoryBulkActualPrincipalSourceReindexMeanBackgroundLiteral.lean 1 declarations
• HistoryBulkActualPrincipalSourceReindexMeanDefs.lean 1 declarations
• HistoryBulkActualPrincipalSourceReindexMeanOption.lean 2 declarations
• HistoryBulkActualPrincipalSourceReindexMeanOptionBasic.lean 1 declarations
• HistoryBulkActualPrincipalSourceReindexMeanPoint.lean 2 declarations
• HistoryBulkActualPrincipalSourceReindexMixed.lean 1 declarations
• HistoryBulkActualPrincipalSourceReindexMixedLaw.lean 1 declarations
• HistoryBulkActualPrincipalSourceReindexOptionAlgebra.lean 1 declarations
• HistoryBulkActualPrincipalSourceReindexOptionBasic.lean 3 declarations
• HistoryBulkActualPrincipalSourceReindexOptionConstructors.lean 1 declarations
• HistoryBulkActualPrincipalSourceReindexOptionConstructorsMixed.lean 1 declarations
• HistoryBulkActualPrincipalSourceReindexOptionCorrected.lean 2 declarations
• HistoryBulkActualPrincipalSourceReindexOptionCorrectedMean.lean 2 declarations
• HistoryBulkActualPrincipalSourceReindexOptionCorrectedSelector.lean 1 declarations
• HistoryBulkActualPrincipalSourceReindexOptionCorrectedSource.lean 3 declarations
• HistoryBulkActualPrincipalSourceReindexOptionFrames.lean 3 declarations
• HistoryBulkActualPrincipalSourceReindexOptionMap.lean 1 declarations
• HistoryBulkActualPrincipalSourceReindexOptionMean.lean 3 declarations
• HistoryBulkActualPrincipalSourceReindexOptionMeanProjection.lean 1 declarations
• HistoryBulkActualPrincipalSourceReindexOptionMixed.lean 2 declarations
• HistoryBulkActualPrincipalSourceReindexOptionMixedConstructor.lean 1 declarations
• HistoryBulkActualPrincipalSourceReindexOptionMixedDefs.lean 1 declarations
• HistoryBulkActualPrincipalSourceReindexOptionMixedSelector.lean 1 declarations
• HistoryBulkActualPrincipalSourceReindexOptionMixedSource.lean 1 declarations
• HistoryBulkActualPrincipalSourceReindexOptionPrime.lean 2 declarations
• HistoryBulkActualPrincipalSourceReindexOptionPrimeConstructor.lean 1 declarations
• HistoryBulkActualPrincipalSourceReindexOptionPrimeDefs.lean 1 declarations
• HistoryBulkActualPrincipalSourceReindexOptionPrimeSelector.lean 1 declarations
• HistoryBulkActualPrincipalSourceReindexOptionPrimeSource.lean 1 declarations
• HistoryBulkActualPrincipalSourceReindexPattern.lean 1 declarations
• HistoryBulkActualPrincipalSourceReindexPatternBasic.lean 3 declarations
• HistoryBulkActualPrincipalSourceReindexPatternSelected.lean 2 declarations
• HistoryBulkActualPrincipalSourceReindexPrime.lean 1 declarations
• HistoryBulkActualPrincipalSourceReindexPrimeLaw.lean 1 declarations
• HistoryBulkActualPrincipalSourceReindexRawCorrected.lean 1 declarations
• HistoryBulkActualPrincipalSourceReindexRawMixed.lean 1 declarations
• HistoryBulkActualPrincipalSourceReindexRawPrime.lean 1 declarations
• HistoryBulkActualPrincipalSourceReindexSpectator.lean 1 declarations
• HistoryBulkActualPrincipalSourceReindexSquare.lean 5 declarations
• HistoryBulkActualPrincipalValueFrameBasic.lean 1 declarations
• HistoryBulkActualPrincipalValueFrameFactories.lean 2 declarations
• HistoryBulkActualPrincipalValueFrameMatched.lean 1 declarations
• HistoryBulkActualPrincipalValueFrameMatchedCorrected.lean 1 declarations
• HistoryBulkActualPrincipalValueFrameScalars.lean 1 declarations
• HistoryBulkActualRootReferenceFamily.lean 6 declarations
• HistoryBulkActualRootReferenceFamilyData.lean 2 declarations
• HistoryBulkActualRootReferenceFamilyLaws.lean 4 declarations
• HistoryBulkActualRootReferenceFamilySelection.lean 3 declarations
• HistoryBulkActualRootReferenceFamilySymbolic.lean 2 declarations
• HistoryBulkActualRootReferenceFamilyWitness.lean 7 declarations
• HistoryBulkActualTotalReplacementBounds.lean 1 declarations
• HistoryBulkActualTotalReplacementCollisionPoint.lean 1 declarations
• HistoryBulkActualTotalReplacementCollisionPointConversion.lean 1 declarations
• HistoryBulkActualTotalReplacementCollisionPointSourceErrorConversion.lean 1 declarations
• HistoryBulkActualTotalReplacementCollisionPointSourceErrorStatement.lean 1 declarations
• HistoryBulkActualTotalReplacementCollisionPointSourceEstimate.lean 1 declarations
• HistoryBulkActualTotalReplacementCollisionPointSourceFalse.lean 1 declarations
• HistoryBulkActualTotalReplacementCollisionPointSourceValueDefs.lean 1 declarations
• HistoryBulkActualTotalReplacementCollisionPointStatement.lean 1 declarations
• HistoryBulkActualTotalReplacementCollisionPointValueDefs.lean 1 declarations
• HistoryBulkActualTotalReplacementCollisionPointValueIdentity.lean 1 declarations
• HistoryBulkActualTotalReplacementCollisionStage.lean 1 declarations
• HistoryBulkActualTotalReplacementCollisionStageBasic.lean 1 declarations
• HistoryBulkActualTotalReplacementCollisionStageConversion.lean 1 declarations
• HistoryBulkActualTotalReplacementCollisionStageSourceMean.lean 1 declarations
• HistoryBulkActualTotalReplacementCollisionStageValueMean.lean 1 declarations
• HistoryBulkActualTotalReplacementCollisionStatement.lean 1 declarations
• HistoryBulkActualTotalReplacementCorrectedActual.lean 1 declarations
• HistoryBulkActualTotalReplacementCorrectedBulkDefs.lean 1 declarations
• HistoryBulkActualTotalReplacementCorrectedCollisionBulkAverage.lean 1 declarations
• HistoryBulkActualTotalReplacementCorrectedCollisionKernelAverage.lean 1 declarations
• HistoryBulkActualTotalReplacementCorrectedCollisionPoint.lean 1 declarations
• HistoryBulkActualTotalReplacementCorrectedCollisionPointError.lean 1 declarations
• HistoryBulkActualTotalReplacementCorrectedCollisionStage.lean 1 declarations
• HistoryBulkActualTotalReplacementCorrectedCollisionStageError.lean 1 declarations
• HistoryBulkActualTotalReplacementCorrectedCollisionStageProperty.lean 1 declarations
• HistoryBulkActualTotalReplacementCorrectedComposition.lean 1 declarations
• HistoryBulkActualTotalReplacementCorrectedDefs.lean 1 declarations
• HistoryBulkActualTotalReplacementCorrectedFinalStage.lean 1 declarations
• HistoryBulkActualTotalReplacementCorrectedFinalStageBasic.lean 1 declarations
• HistoryBulkActualTotalReplacementCorrectedFinalStageStatement.lean 1 declarations
• HistoryBulkActualTotalReplacementCorrectedInitial.lean 1 declarations
• HistoryBulkActualTotalReplacementCorrectedJoin.lean 1 declarations
• HistoryBulkActualTotalReplacementCorrectedKernelDefs.lean 2 declarations
• HistoryBulkActualTotalReplacementCorrectedKernelEqualityFinite.lean 1 declarations
• HistoryBulkActualTotalReplacementCorrectedKernelFinite.lean 1 declarations
• HistoryBulkActualTotalReplacementCorrectedKernelPoint.lean 1 declarations
• HistoryBulkActualTotalReplacementCorrectedKernelPointConversion.lean 1 declarations
• HistoryBulkActualTotalReplacementCorrectedKernelPointFinite.lean 1 declarations
• HistoryBulkActualTotalReplacementCorrectedKernelPointStatement.lean 1 declarations
• HistoryBulkActualTotalReplacementCorrectedKernelPointValue.lean 2 declarations
• HistoryBulkActualTotalReplacementCorrectedKernelStage.lean 1 declarations
• HistoryBulkActualTotalReplacementCorrectedKernelStageBasic.lean 1 declarations
• HistoryBulkActualTotalReplacementCorrectedKernelStageConversion.lean 1 declarations
• HistoryBulkActualTotalReplacementCorrectedKernelStageStatement.lean 1 declarations
• HistoryBulkActualTotalReplacementCorrectedPrincipal.lean 1 declarations
• HistoryBulkActualTotalReplacementCorrectedProbabilityKernel.lean 1 declarations
• HistoryBulkActualTotalReplacementCorrectedProbabilityKernelPoint.lean 1 declarations
• HistoryBulkActualTotalReplacementCorrectedSquareDefs.lean 2 declarations
• HistoryBulkActualTotalReplacementCorrectedSquarePoint.lean 1 declarations
• HistoryBulkActualTotalReplacementCorrectedSquareStage.lean 1 declarations
• HistoryBulkActualTotalReplacementCorrectedStatement.lean 1 declarations
• HistoryBulkActualTotalReplacementCorrectedStatementExpansion.lean 1 declarations
• HistoryBulkActualTotalReplacementInitialGuard.lean 1 declarations
• HistoryBulkActualTotalReplacementKernelDefs.lean 2 declarations
• HistoryBulkActualTotalReplacementKernelPoint.lean 1 declarations
• HistoryBulkActualTotalReplacementKernelStage.lean 1 declarations
• HistoryBulkActualTotalReplacementMean.lean 2 declarations
• HistoryBulkActualTotalReplacementOriginalDefs.lean 1 declarations
• HistoryBulkActualTotalReplacementPlainActual.lean 1 declarations
• HistoryBulkActualTotalReplacementPlainBulkDefs.lean 1 declarations
• HistoryBulkActualTotalReplacementPlainDefs.lean 1 declarations
• HistoryBulkActualTotalReplacementPlainFinalStage.lean 1 declarations
• HistoryBulkActualTotalReplacementPlainFinalStageBasic.lean 1 declarations
• HistoryBulkActualTotalReplacementPlainFinalStageStatement.lean 1 declarations
• HistoryBulkActualTotalReplacementPlainGiant.lean 1 declarations
• HistoryBulkActualTotalReplacementPlainGiantDefs.lean 1 declarations
• HistoryBulkActualTotalReplacementPlainInitial.lean 1 declarations
• HistoryBulkActualTotalReplacementPlainInitialMixed.lean 1 declarations
• HistoryBulkActualTotalReplacementPlainInitialPrime.lean 1 declarations
• HistoryBulkActualTotalReplacementPlainJoin.lean 1 declarations
• HistoryBulkActualTotalReplacementPlainJoinFinite.lean 1 declarations
• HistoryBulkActualTotalReplacementPlainPrincipal.lean 1 declarations
• HistoryBulkActualTotalReplacementPlainStatement.lean 1 declarations
• HistoryBulkActualTotalReplacementProbabilityKernel.lean 2 declarations
• HistoryBulkActualTotalReplacementSquareDefs.lean 2 declarations
• HistoryBulkActualTotalReplacementSquarePoint.lean 1 declarations
• HistoryBulkActualTotalReplacementSquareStage.lean 1 declarations
• HistoryBulkActualTotalReplacementStageData.lean 2 declarations
• HistoryBulkActualUniversalComparison.lean 2 declarations
• HistoryBulkActualUniversalComparisonActual.lean 1 declarations
• HistoryBulkActualUniversalComparisonAssembly.lean 1 declarations
• HistoryBulkActualUniversalComparisonBasic.lean 2 declarations
• HistoryBulkActualUniversalComparisonPrincipal.lean 3 declarations
• HistoryBulkActualUniversalComparisonPrincipalStatement.lean 1 declarations
• HistoryBulkActualUniversalComparisonProviderAssembly.lean 2 declarations
• HistoryBulkActualUniversalComparisonStatement.lean 1 declarations
• HistoryBulkActualUniversalPrincipal.lean 1 declarations
• HistoryBulkActualUniversalPrincipalActual.lean 2 declarations
• HistoryBulkActualUniversalPrincipalAlignment.lean 1 declarations
• HistoryBulkActualUniversalPrincipalAlignmentAbsent.lean 1 declarations
• HistoryBulkActualUniversalPrincipalAlignmentBackground.lean 1 declarations
• HistoryBulkActualUniversalPrincipalAlignmentMean.lean 1 declarations
• HistoryBulkActualUniversalPrincipalAlignmentMeanFinal.lean 1 declarations
• HistoryBulkActualUniversalPrincipalAlignmentMeanFinalDefs.lean 1 declarations
• HistoryBulkActualUniversalPrincipalAlignmentMixedAbsent.lean 1 declarations
• HistoryBulkActualUniversalPrincipalAlignmentMixedInterface.lean 1 declarations
• HistoryBulkActualUniversalPrincipalAlignmentMixedLive.lean 1 declarations
• HistoryBulkActualUniversalPrincipalAlignmentMixedPattern.lean 1 declarations
• HistoryBulkActualUniversalPrincipalAlignmentMixedSum.lean 1 declarations
• HistoryBulkActualUniversalPrincipalAlignmentMixedZero.lean 1 declarations
• HistoryBulkActualUniversalPrincipalAlignmentOption.lean 1 declarations
• HistoryBulkActualUniversalPrincipalAlignmentPoint.lean 1 declarations
• HistoryBulkActualUniversalPrincipalAlignmentPointCompose.lean 1 declarations
• HistoryBulkActualUniversalPrincipalAlignmentPointComposeIdentity.lean 1 declarations
• HistoryBulkActualUniversalPrincipalAlignmentPointData.lean 2 declarations
• HistoryBulkActualUniversalPrincipalAlignmentPointFamily.lean 4 declarations
• HistoryBulkActualUniversalPrincipalAlignmentPointFamilyDefs.lean 1 declarations
• HistoryBulkActualUniversalPrincipalAlignmentPointFrame.lean 1 declarations
• HistoryBulkActualUniversalPrincipalAlignmentPointKernel.lean 6 declarations
• HistoryBulkActualUniversalPrincipalAlignmentPointRepresentative.lean 1 declarations
• HistoryBulkActualUniversalPrincipalAlignmentPointTerm.lean 1 declarations
• HistoryBulkActualUniversalPrincipalAlignmentPointValue.lean 1 declarations
• HistoryBulkActualUniversalPrincipalAlignmentPointValueDefs.lean 1 declarations
• HistoryBulkActualUniversalPrincipalAlignmentPointWeight.lean 1 declarations
• HistoryBulkActualUniversalPrincipalAlignmentPointWeightBasic.lean 1 declarations
• HistoryBulkActualUniversalPrincipalAlignmentPrimeInterface.lean 1 declarations
• HistoryBulkActualUniversalPrincipalAlignmentSelected.lean 1 declarations
• HistoryBulkActualUniversalPrincipalAlignmentSelectedMixed.lean 1 declarations
• HistoryBulkActualUniversalPrincipalAlignmentSelectedMixedBasic.lean 1 declarations
• HistoryBulkActualUniversalPrincipalAlignmentSelectedPrime.lean 1 declarations
• HistoryBulkActualUniversalPrincipalAlignmentSelectedPrimeAbsent.lean 1 declarations
• HistoryBulkActualUniversalPrincipalAlignmentSelectedPrimeBasic.lean 2 declarations
• HistoryBulkActualUniversalPrincipalAlignmentSelectedPrimePattern.lean 1 declarations
• HistoryBulkActualUniversalPrincipalAlignmentSelectedPrimeSum.lean 1 declarations
• HistoryBulkActualUniversalPrincipalAlignmentStatement.lean 1 declarations
• HistoryBulkActualUniversalPrincipalAlignmentSum.lean 1 declarations
• HistoryBulkActualUniversalPrincipalAlignmentValue.lean 1 declarations
• HistoryBulkActualUniversalPrincipalBasic.lean 4 declarations
• HistoryBulkActualUniversalPrincipalDefs.lean 7 declarations
• HistoryBulkActualUniversalPrincipalDensity.lean 3 declarations
• HistoryBulkActualUniversalPrincipalFrame.lean 7 declarations
• HistoryBulkActualUniversalPrincipalReplacement.lean 8 declarations
• HistoryBulkActualUniversalPrincipalReplacementFamily.lean 3 declarations
• HistoryBulkActualUniversalPrincipalSelectedProperties.lean 0 declarations
• HistoryBulkActualUniversalPrincipalSelectedReplacement.lean 2 declarations
• HistoryBulkCorrectedCollisionOptionProof.lean 1 declarations
• HistoryBulkCorrectedCollisionSumProof.lean 1 declarations
• HistoryBulkCorrectedXiBounds.lean 1 declarations
• HistoryBulkCorrectedXiBoundsActive.lean 2 declarations
• HistoryBulkCorrectedXiBoundsActual.lean 1 declarations
• HistoryBulkCorrectedXiBoundsBasic.lean 4 declarations
• HistoryBulkCorrectedXiBoundsRemoved.lean 3 declarations
• HistoryBulkCorrectedXiBoundsSupport.lean 3 declarations
• HistoryBulkCorrectedXiBoundsZero.lean 3 declarations
• HistoryBulkCounterpartTransportActual.lean 1 declarations
• HistoryBulkCounterpartTransportBasic.lean 4 declarations
• HistoryBulkCounterpartTransportExtracted.lean 7 declarations
• HistoryBulkCounterpartTransportIndependent.lean 1 declarations
• HistoryBulkCounterpartTransportPair.lean 2 declarations
• HistoryBulkCounterpartTransportRoot.lean 2 declarations
• HistoryBulkDiagonalCorrectedSourceFibreReindex.lean 4 declarations
• HistoryBulkDiagonalSourceFibreReindex.lean 5 declarations
• HistoryBulkDiagramFrequencyAverage.lean 4 declarations
• HistoryBulkDiagramFrequencyAverageActual.lean 4 declarations
• HistoryBulkDiagramFrequencyAverageBasic.lean 5 declarations
• HistoryBulkDiagramFrequencyAverageCRT.lean 4 declarations
• HistoryBulkDiagramParameters.lean 3 declarations
• HistoryBulkDiagramParametersBasic.lean 11 declarations
• HistoryBulkDiagramParametersDecode.lean 2 declarations
• HistoryBulkDiagramParametersEvaluation.lean 1 declarations
• HistoryBulkFibreGiantApproximationBasic.lean 4 declarations
• HistoryBulkFibreGiantApproximationCollisionGuard.lean 6 declarations
• HistoryBulkFibreGiantApproximationDefs.lean 14 declarations
• HistoryBulkFibreGiantApproximationFibreIdentities.lean 4 declarations
• HistoryBulkFibreGiantApproximationMean.lean 1 declarations
• HistoryBulkFibreGiantApproximationMeanBounds.lean 1 declarations
• HistoryBulkFibreGiantApproximationMixedCorrected.lean 1 declarations
• HistoryBulkFibreGiantApproximationMixedCorrectedPeriodic.lean 1 declarations
• HistoryBulkFibreGiantApproximationMixedDefs.lean 11 declarations
• HistoryBulkFibreGiantApproximationMixedPlain.lean 1 declarations
• HistoryBulkFibreGiantApproximationMixedPlainPeriodic.lean 1 declarations
• HistoryBulkFibreGiantApproximationMixedSource.lean 4 declarations
• HistoryBulkFibreGiantApproximationPrime.lean 2 declarations
• HistoryBulkFibreGiantApproximationReference.lean 0 declarations
• HistoryBulkFibreGiantApproximationReferenceBasic.lean 3 declarations
• HistoryBulkFibreGiantApproximationReferenceCorrected.lean 4 declarations
• HistoryBulkFibreGiantApproximationReferenceFrameCorrected.lean 1 declarations
• HistoryBulkFibreGiantApproximationReferenceFramePlain.lean 2 declarations
• HistoryBulkFibreGiantApproximationReferencePlain.lean 4 declarations
• HistoryBulkFibreGiantApproximationRootPrincipals.lean 4 declarations
• HistoryBulkFibreGiantApproximationRootTestBasic.lean 3 declarations
• HistoryBulkFibreGiantApproximationRootTestDensity.lean 3 declarations
• HistoryBulkFibreGiantApproximationRootTestMixed.lean 3 declarations
• HistoryBulkFibreGiantApproximationRootTestSelected.lean 1 declarations
• HistoryBulkFibreGiantApproximationRootTestUnit.lean 2 declarations
• HistoryBulkFibreGiantErrorAverageActualMixed.lean 1 declarations
• HistoryBulkFibreGiantErrorAverageActualPrime.lean 1 declarations
• HistoryBulkFibreGiantErrorAverageBudget.lean 1 declarations
• HistoryBulkFibreGiantErrorAverageBudgetDraws.lean 3 declarations
• HistoryBulkFibreGiantErrorAverageBudgetNested.lean 1 declarations
• HistoryBulkFibreGiantErrorAverageBudgetSymbolic.lean 1 declarations
• HistoryBulkFibreGiantErrorAverageCompensation.lean 10 declarations
• HistoryBulkFibreGiantErrorAverageCorrectedActual.lean 1 declarations
• HistoryBulkFibreGiantErrorAverageCorrectedCovariance.lean 2 declarations
• HistoryBulkFibreGiantErrorAverageCorrectedDefs.lean 1 declarations
• HistoryBulkFibreGiantErrorAverageCorrectedIdentities.lean 2 declarations
• HistoryBulkFibreGiantErrorAverageCorrectedScalarDefs.lean 1 declarations
• HistoryBulkFibreGiantErrorAverageCorrectedSelected.lean 1 declarations
• HistoryBulkFibreGiantErrorAverageCorrectedSelectedDefs.lean 2 declarations
• HistoryBulkFibreGiantErrorAverageCorrectedWitness.lean 1 declarations
• HistoryBulkFibreGiantErrorAverageIdentities.lean 2 declarations
• HistoryBulkFibreGiantErrorAverageMixed.lean 1 declarations
• HistoryBulkFibreGiantErrorAveragePrime.lean 1 declarations
• HistoryBulkFibreGiantErrorAveragePrincipal.lean 2 declarations
• HistoryBulkFibreGiantErrorAverageSelectedDefs.lean 7 declarations
• HistoryBulkFibreGiantErrorAverageSelectedMixed.lean 1 declarations
• HistoryBulkFibreGiantErrorAverageSelectedPrime.lean 1 declarations
• HistoryBulkFibreGiantErrorAverageSourceMean.lean 2 declarations
• HistoryBulkFibreGiantErrorAverageWitness.lean 4 declarations
• HistoryBulkFibreIntegralReplacement.lean 0 declarations
• HistoryBulkFibreIntegralReplacementCorrectedMixed.lean 1 declarations
• HistoryBulkFibreIntegralReplacementCorrectedPrime.lean 1 declarations
• HistoryBulkFibreIntegralReplacementFrame.lean 1 declarations
• HistoryBulkFibreIntegralReplacementFrameDefs.lean 2 declarations
• HistoryBulkFibreIntegralReplacementFrameWeighted.lean 3 declarations
• HistoryBulkFibreIntegralReplacementPlainMixed.lean 1 declarations
• HistoryBulkFibreIntegralReplacementPlainPrime.lean 1 declarations
• HistoryBulkFibreOriginalReference.lean 3 declarations
• HistoryBulkFibreOriginalReferenceCovariance.lean 3 declarations
• HistoryBulkFibreOriginalReferenceDefs.lean 7 declarations
• HistoryBulkFibreOriginalReferenceFinite.lean 1 declarations
• HistoryBulkFibreOriginalReferenceLaws.lean 7 declarations
• HistoryBulkFibreOriginalReferencePermutation.lean 6 declarations
• HistoryBulkFibreOriginalReferenceSelection.lean 2 declarations
• HistoryBulkFibreOriginalReferenceTermDefs.lean 2 declarations
• HistoryBulkFibreOriginalReferenceWeighted.lean 1 declarations
• HistoryBulkFibreOriginalReferenceWeightedDefs.lean 7 declarations
• HistoryBulkFibreOriginalReferenceWeightedMean.lean 4 declarations
• HistoryBulkFibreOriginalReferenceWeightedTerm.lean 2 declarations
• HistoryBulkFibreReference.lean 3 declarations
• HistoryBulkFibreReferenceBasic.lean 4 declarations
• HistoryBulkFibreSourceMean.lean 4 declarations
• HistoryBulkFibreSourceMeanBasic.lean 2 declarations
• HistoryBulkFibreSourceMeanValues.lean 2 declarations
• HistoryBulkFixedReferenceTerm.lean 1 declarations
• HistoryBulkFixedReferenceTermActual.lean 1 declarations
• HistoryBulkFixedReferenceTermBasic.lean 1 declarations
• HistoryBulkFixedReferenceTermConverse.lean 1 declarations
• HistoryBulkFixedReferenceTermSelected.lean 2 declarations
• HistoryBulkFixedReferenceTermSupported.lean 1 declarations
• HistoryBulkFixedReferenceTransport.lean 1 declarations
• HistoryBulkFixedReferenceTransportFactors.lean 2 declarations
• HistoryBulkFixedReferenceTransportFactorsBasic.lean 6 declarations
• HistoryBulkFixedReferenceTransportInteger.lean 1 declarations
• HistoryBulkFixedReferenceTransportPair.lean 2 declarations
• HistoryBulkFixedReferenceTransportScalar.lean 1 declarations
• HistoryBulkFixedReferenceTransportScalarBasic.lean 2 declarations
• HistoryBulkFrequencyTransport.lean 2 declarations
• HistoryBulkFrequencyTransportBasic.lean 5 declarations
• HistoryBulkFrequencyTransportIndicator.lean 4 declarations
• HistoryBulkFrequencyTransportSchedules.lean 3 declarations
• HistoryBulkGiantCorrectedBounds.lean 0 declarations
• HistoryBulkGiantCorrectedBoundsBasic.lean 7 declarations
• HistoryBulkGiantCorrectedBoundsContinuity.lean 7 declarations
• HistoryBulkGiantCorrectedBoundsCutoff.lean 9 declarations
• HistoryBulkGiantCorrectedBoundsDefs.lean 2 declarations
• HistoryBulkGiantCorrectedBoundsOrder.lean 2 declarations
• HistoryBulkGiantCorrectedBoundsPlain.lean 1 declarations
• HistoryBulkGiantCorrectedBoundsRegularity.lean 2 declarations
• HistoryBulkGiantCorrectedBoundsSelected.lean 4 declarations
• HistoryBulkGiantCorrectedBoundsSource.lean 2 declarations
• HistoryBulkGiantIntegerReference.lean 0 declarations
• HistoryBulkGiantIntegerReferenceBasic.lean 5 declarations
• HistoryBulkGiantIntegerReferenceCutoff.lean 4 declarations
• HistoryBulkGiantIntegerReferenceSelected.lean 2 declarations
• HistoryBulkGiantIntegerReferenceSource.lean 2 declarations
• HistoryBulkGiantPrincipalTransportA.lean 1 declarations
• HistoryBulkGiantPrincipalTransportActualPrincipalBasic.lean 3 declarations
• HistoryBulkGiantPrincipalTransportActualPrincipalCorrectedMixed.lean 1 declarations
• HistoryBulkGiantPrincipalTransportActualPrincipalPlainMixed.lean 1 declarations
• HistoryBulkGiantPrincipalTransportActualPrincipalPlainPrime.lean 1 declarations
• HistoryBulkGiantPrincipalTransportBasic.lean 4 declarations
• HistoryBulkGiantPrincipalTransportBudget.lean 1 declarations
• HistoryBulkGiantPrincipalTransportCorrectedMixedSource.lean 1 declarations
• HistoryBulkGiantPrincipalTransportFlags.lean 4 declarations
• HistoryBulkGiantPrincipalTransportGuard.lean 3 declarations
• HistoryBulkGiantPrincipalTransportGuardBudget.lean 1 declarations
• HistoryBulkGiantPrincipalTransportIntegerSourceCorrectedMixed.lean 1 declarations
• HistoryBulkGiantPrincipalTransportIntegerSourcePlainMixed.lean 1 declarations
• HistoryBulkGiantPrincipalTransportIntegerSourcePlainPrime.lean 1 declarations
• HistoryBulkGiantPrincipalTransportMaskBounds.lean 5 declarations
• HistoryBulkGiantPrincipalTransportMixedCore.lean 1 declarations
• HistoryBulkGiantPrincipalTransportMixedGuarded.lean 1 declarations
• HistoryBulkGiantPrincipalTransportModulus.lean 6 declarations
• HistoryBulkGiantPrincipalTransportModulusCRT.lean 2 declarations
• HistoryBulkGiantPrincipalTransportNorm.lean 8 declarations
• HistoryBulkGiantPrincipalTransportNormBasic.lean 4 declarations
• HistoryBulkGiantPrincipalTransportPlainMixedSource.lean 1 declarations
• HistoryBulkGiantPrincipalTransportPlainPrimeSource.lean 1 declarations
• HistoryBulkGiantPrincipalTransportPrimeCore.lean 1 declarations
• HistoryBulkGiantPrincipalTransportPrimeGuarded.lean 1 declarations
• HistoryBulkGiantPrincipalTransportSamples.lean 2 declarations
• HistoryBulkGiantPrincipalTransportSelectedBasic.lean 2 declarations
• HistoryBulkGiantPrincipalTransportSelectedCorrectedMixed.lean 1 declarations
• HistoryBulkGiantPrincipalTransportSelectedPlainMixed.lean 1 declarations
• HistoryBulkGiantPrincipalTransportSelectedPlainPrime.lean 1 declarations
• HistoryBulkGiantPrincipalTransportSourceBasic.lean 2 declarations
• HistoryBulkGiantPrincipalTransportValues.lean 1 declarations
• HistoryBulkGoodPatternAggregation.lean 1 declarations
• HistoryBulkGoodPatternAggregationBasic.lean 1 declarations
• HistoryBulkGoodPatternAggregationFamily.lean 2 declarations
• HistoryBulkGoodPatternAggregationReference.lean 4 declarations
• HistoryBulkGoodPatternPrincipalFrame.lean 1 declarations
• HistoryBulkGoodPatternPrincipalFrameDefs.lean 3 declarations
• HistoryBulkIdentityFrequency.lean 1 declarations
• HistoryBulkIdentityFrequencyBasic.lean 9 declarations
• HistoryBulkIdentityFrequencyGuards.lean 1 declarations
• HistoryBulkIdentityFrequencyIndicator.lean 1 declarations
• HistoryBulkIdentityFrequencyLeaf.lean 2 declarations
• HistoryBulkIdentityFrequencyRootTest.lean 1 declarations
• HistoryBulkIdentityFrequencySchedules.lean 5 declarations
• HistoryBulkIndependentFibreMassCompatibility.lean 5 declarations
• HistoryBulkIndependentFibreMassFactorization.lean 5 declarations
• HistoryBulkIndependentFibreReference.lean 4 declarations
• HistoryBulkIndependentFibreReferenceDefs.lean 8 declarations
• HistoryBulkIndependentFibreReferenceDisintegration.lean 1 declarations
• HistoryBulkIndependentFibreReferenceLaws.lean 4 declarations
• HistoryBulkIndependentFibreReferenceMean.lean 6 declarations
• HistoryBulkIndependentFibreReferenceSelection.lean 2 declarations
• HistoryBulkIndependentFibreReferenceTerm.lean 3 declarations
• HistoryBulkIndependentReferenceFrequency.lean 1 declarations
• HistoryBulkIndependentReferenceFrequencyBasic.lean 2 declarations
• HistoryBulkIndependentReferenceFrequencyForward.lean 1 declarations
• HistoryBulkIndependentReferenceFrequencyPermutation.lean 3 declarations
• HistoryBulkIndependentReferenceTerm.lean 1 declarations
• HistoryBulkIndependentReferenceTermActual.lean 1 declarations
• HistoryBulkIndependentReferenceTermBasic.lean 1 declarations
• HistoryBulkIndependentReferenceTermConverse.lean 1 declarations
• HistoryBulkIndependentReferenceTermForwardB.lean 1 declarations
• HistoryBulkIndependentReferenceTermForwardBActual.lean 1 declarations
• HistoryBulkIndependentReferenceTermForwardR.lean 1 declarations
• HistoryBulkIndependentReferenceTermOrdered.lean 2 declarations
• HistoryBulkIndependentReferenceTermOrderedBasic.lean 2 declarations
• HistoryBulkIndependentReferenceTermSelected.lean 2 declarations
• HistoryBulkIndependentReferenceTermSupport.lean 1 declarations
• HistoryBulkIndependentReferenceTermSupported.lean 1 declarations
• HistoryBulkIndependentReferenceTermTests.lean 1 declarations
• HistoryBulkIndependentReferenceTransport.lean 1 declarations
• HistoryBulkIndependentReferenceTransportCoordinates.lean 3 declarations
• HistoryBulkIndependentReferenceTransportInteger.lean 1 declarations
• HistoryBulkIndependentReferenceTransportIntegerCoordinates.lean 1 declarations
• HistoryBulkIndependentReferenceTransportPair.lean 2 declarations
• HistoryBulkIndependentReferenceTransportScalar.lean 1 declarations
• HistoryBulkIntegralReplacement.lean 2 declarations
• HistoryBulkIntegralReplacementBasic.lean 3 declarations
• HistoryBulkIntegralReplacementBounds.lean 3 declarations
• HistoryBulkIntegralReplacementIntegrated.lean 2 declarations
• HistoryBulkIntegralReplacementMain.lean 3 declarations
• HistoryBulkIntegralReplacementRegular.lean 3 declarations
• HistoryBulkPatternIntegralReplacement.lean 2 declarations
• HistoryBulkPatternIntegralReplacementBackground.lean 2 declarations
• HistoryBulkPatternIntegralReplacementBasic.lean 6 declarations
• HistoryBulkPrincipalBSquareReferenceAmplitude.lean 5 declarations
• HistoryBulkPrincipalBSquareReferenceBasic.lean 6 declarations
• HistoryBulkPrincipalBSquareReferenceDensity.lean 6 declarations
• HistoryBulkPrincipalBSquareReferenceMatched.lean 2 declarations
• HistoryBulkPrincipalBSquareReferencePattern.lean 4 declarations
• HistoryBulkPrincipalBSquareReferenceSelected.lean 2 declarations
• HistoryBulkPrincipalBSquareReferenceSources.lean 4 declarations
• HistoryBulkPrincipalBSquareReferenceSplice.lean 7 declarations
• HistoryBulkPrincipalBSquareReplacement.lean 1 declarations
• HistoryBulkPrincipalBSquareReplacementBasic.lean 5 declarations
• HistoryBulkPrincipalBSquareReplacementDensity.lean 1 declarations
• HistoryBulkPrincipalBSquareReplacementDensityBasic.lean 8 declarations
• HistoryBulkPrincipalBSquareReplacementDensityRoot.lean 1 declarations
• HistoryBulkPrincipalBSquareReplacementDensitySelected.lean 1 declarations
• HistoryBulkPrincipalBSquareReplacementFinite.lean 6 declarations
• HistoryBulkPrincipalBSquareReplacementFrequency.lean 2 declarations
• HistoryBulkPrincipalBSquareReplacementOriginal.lean 4 declarations
• HistoryBulkPrincipalBSquareReplacementSelected.lean 1 declarations
• HistoryBulkPrincipalCollisionErrorActual.lean 1 declarations
• HistoryBulkPrincipalCollisionErrorActualDefs.lean 4 declarations
• HistoryBulkPrincipalCollisionErrorAmplitude.lean 3 declarations
• HistoryBulkPrincipalCollisionErrorBasic.lean 6 declarations
• HistoryBulkPrincipalCollisionErrorBudget.lean 1 declarations
• HistoryBulkPrincipalCollisionErrorFinite.lean 2 declarations
• HistoryBulkPrincipalCollisionErrorGuard.lean 2 declarations
• HistoryBulkPrincipalCollisionErrorReferences.lean 5 declarations
• HistoryBulkPrincipalCollisionErrorScaled.lean 1 declarations
• HistoryBulkPrincipalCollisionErrorScaling.lean 4 declarations
• HistoryBulkPrincipalCollisionErrorSelected.lean 1 declarations
• HistoryBulkPrincipalKernelReplacementMatchedBasic.lean 5 declarations
• HistoryBulkPrincipalKernelReplacementMatchedDensity.lean 2 declarations
• HistoryBulkPrincipalKernelReplacementMatchedDensityBasic.lean 10 declarations
• HistoryBulkPrincipalKernelReplacementMatchedDensityRoot.lean 1 declarations
• HistoryBulkPrincipalKernelReplacementMatchedDensitySelected.lean 1 declarations
• HistoryBulkPrincipalKernelReplacementMatchedFinite.lean 6 declarations
• HistoryBulkPrincipalKernelReplacementMatchedProducts.lean 4 declarations
• HistoryBulkPrincipalKernelReplacementMatchedRoot.lean 1 declarations
• HistoryBulkPrincipalKernelReplacementMatchedSelected.lean 1 declarations
• HistoryBulkPrincipalKernelReplacementMatchedSource.lean 2 declarations
• HistoryBulkPrincipalRootTest.lean 0 declarations
• HistoryBulkPrincipalRootTestBasic.lean 5 declarations
• HistoryBulkPrincipalRootTestMixed.lean 1 declarations
• HistoryBulkPrincipalRootTestMixedSource.lean 1 declarations
• HistoryBulkPrincipalRootTestSamples.lean 5 declarations
• HistoryBulkPrincipalRootTestUnit.lean 1 declarations
• HistoryBulkPrincipalRootTestUnitSource.lean 1 declarations
• HistoryBulkPrincipalSourceReindex.lean 4 declarations
• HistoryBulkPrincipalSourceReindexBasic.lean 3 declarations
• HistoryBulkPrincipalSourceReindexCancellation.lean 2 declarations
• HistoryBulkPrincipalSourceReindexFrequency.lean 5 declarations
• HistoryBulkPrincipalSourceReindexPatterns.lean 6 declarations
• HistoryBulkPrincipalSourceReindexWitnessBasic.lean 10 declarations
• HistoryBulkPriorGrid.lean 4 declarations
• HistoryBulkPriorGridBasic.lean 12 declarations
• HistoryBulkPriorGridMass.lean 10 declarations
• HistoryBulkPriorGridReal.lean 3 declarations
• HistoryBulkPriorGridRestoration.lean 8 declarations
• HistoryBulkPriorGridTuple.lean 8 declarations
• HistoryBulkPriorReplacement.lean 1 declarations
• HistoryBulkPriorReplacementBasic.lean 9 declarations
• HistoryBulkPriorReplacementSelected.lean 3 declarations
• HistoryBulkProducts.lean 11 declarations
• HistoryBulkReferenceForwardBActual.lean 1 declarations
• HistoryBulkReferenceForwardBBasic.lean 1 declarations
• HistoryBulkReferenceForwardBGuards.lean 5 declarations
• HistoryBulkReferenceForwardBRows.lean 2 declarations
• HistoryBulkReferenceForwardBSource.lean 1 declarations
• HistoryBulkReferenceForwardR.lean 2 declarations
• HistoryBulkReferenceForwardRBasic.lean 2 declarations
• HistoryBulkReferenceForwardRSource.lean 1 declarations
• HistoryBulkReferenceFrequencyFamily.lean 1 declarations
• HistoryBulkReferenceFrequencyFamilyBasic.lean 6 declarations
• HistoryBulkReferenceFrequencyFamilyDefs.lean 10 declarations
• HistoryBulkReferenceFrequencyFamilyOptions.lean 5 declarations
• HistoryBulkReferenceFrequencyFamilyRoots.lean 14 declarations
• HistoryBulkReferenceGiantDerivative.lean 2 declarations
• HistoryBulkReferenceGiantDerivativeBasic.lean 3 declarations
• HistoryBulkReferenceGiantDerivativeCorrected.lean 1 declarations
• HistoryBulkReferenceGiantDerivativeCutoff.lean 4 declarations
• HistoryBulkReferenceGiantDerivativeCutoffBasic.lean 6 declarations
• HistoryBulkReferenceGiantDerivativeCutoffExponent.lean 2 declarations
• HistoryBulkReferenceGiantDerivativeCutoffNumerics.lean 6 declarations
• HistoryBulkReferenceGiantDerivativePlain.lean 1 declarations
• HistoryBulkReferenceGiantDerivativeSmooth.lean 2 declarations
• HistoryBulkReferenceGiantDerivativeWindow.lean 4 declarations
• HistoryBulkReferenceMaskActual.lean 1 declarations
• HistoryBulkReferenceMaskBasic.lean 4 declarations
• HistoryBulkReferenceMaskFactors.lean 2 declarations
• HistoryBulkReferenceMaskPair.lean 2 declarations
• HistoryBulkReferenceMaskPeriodic.lean 1 declarations
• HistoryBulkReferenceMaskResidueTest.lean 1 declarations
• HistoryBulkReferenceMaskSourceProducts.lean 1 declarations
• HistoryBulkReferenceMaskSpectator.lean 4 declarations
• HistoryBulkReferenceNewModuli.lean 3 declarations
• HistoryBulkReferenceNewModuliBasic.lean 9 declarations
• HistoryBulkReferenceNewModuliBounds.lean 1 declarations
• HistoryBulkReferenceNewModuliBoundsBasic.lean 3 declarations
• HistoryBulkReferenceNewModuliSelected.lean 1 declarations
• HistoryBulkReferenceNewModuliSources.lean 5 declarations
• HistoryBulkReferencePeriodicMeanBasic.lean 8 declarations
• HistoryBulkReferencePeriodicMeanSourceBasic.lean 2 declarations
• HistoryBulkReferencePeriodicMeanSourceCorrectedMixed.lean 1 declarations
• HistoryBulkReferencePeriodicMeanSourceCorrectedScalar.lean 1 declarations
• HistoryBulkReferencePeriodicMeanSourceMixed.lean 1 declarations
• HistoryBulkReferencePeriodicMeanSourceMixedActual.lean 1 declarations
• HistoryBulkReferencePeriodicMeanSourceMixedFactor.lean 1 declarations
• HistoryBulkReferencePeriodicMeanSourcePrime.lean 1 declarations
• HistoryBulkReferencePeriodicMeanSourcePrimeActual.lean 1 declarations
• HistoryBulkReferencePeriodicMeanSourceScalar.lean 5 declarations
• HistoryBulkReferencePeriodicMeanSourceScalarMixed.lean 1 declarations
• HistoryBulkReferencePeriodicMeanSourceZero.lean 1 declarations
• HistoryBulkReferenceScalarBasic.lean 3 declarations
• HistoryBulkReferenceScalarCoordinatesBasic.lean 8 declarations
• HistoryBulkReferenceScalarCoordinatesLeft.lean 3 declarations
• HistoryBulkReferenceScalarCoordinatesRight.lean 2 declarations
• HistoryBulkReferenceScalarLeft.lean 1 declarations
• HistoryBulkReferenceScalarRight.lean 1 declarations
• HistoryBulkReferenceSmallMultiplierActual.lean 2 declarations
• HistoryBulkReferenceSmallMultiplierBasic.lean 3 declarations
• HistoryBulkReferenceSmallMultiplierSelected.lean 1 declarations
• HistoryBulkReferenceSmallMultiplierSource.lean 6 declarations
• HistoryBulkReferenceSmallUnitDataActual.lean 1 declarations
• HistoryBulkReferenceSmallUnitDataBasic.lean 2 declarations
• HistoryBulkReferenceSmallUnitDataReferenceActual.lean 1 declarations
• HistoryBulkReferenceSmallUnitDataSource.lean 2 declarations
• HistoryBulkReferenceTests.lean 2 declarations
• HistoryBulkReferenceTestsActual.lean 1 declarations
• HistoryBulkReferenceTestsActualFinite.lean 1 declarations
• HistoryBulkReferenceTestsActualSelected.lean 2 declarations
• HistoryBulkReferenceTestsActualSupport.lean 1 declarations
• HistoryBulkReferenceTestsBasic.lean 12 declarations
• HistoryBulkReferenceTestsFrequency.lean 2 declarations
• HistoryBulkReferenceTestsFrequencyBasic.lean 3 declarations
• HistoryBulkReferenceTestsFrequencySource.lean 3 declarations
• HistoryBulkReferenceTestsInsertion.lean 5 declarations
• HistoryBulkReferenceTestsRows.lean 4 declarations
• HistoryBulkReferenceTestsSourceLeft.lean 2 declarations
• HistoryBulkReferenceTestsSourceRight.lean 2 declarations
• HistoryBulkReplacementError.lean 1 declarations
• HistoryBulkReplacementErrorAP.lean 3 declarations
• HistoryBulkReplacementErrorBasic.lean 10 declarations
• HistoryBulkReplacementErrorCells.lean 1 declarations
• HistoryBulkReplacementErrorSelected.lean 1 declarations
• HistoryBulkReplacementErrorVariation.lean 4 declarations
• HistoryBulkReplacementGeometry.lean 3 declarations
• HistoryBulkReplacementGeometryBasic.lean 4 declarations
• HistoryBulkReplacementGeometryFrequency.lean 7 declarations
• HistoryBulkResidueCRT.lean 6 declarations
• HistoryBulkResidueJointAverage.lean 3 declarations
• HistoryBulkResidueNormSumActual.lean 5 declarations
• HistoryBulkResidueNormSumBounds.lean 4 declarations
• HistoryBulkResidueNormSumCard.lean 4 declarations
• HistoryBulkResidueNormSumDiagram.lean 5 declarations
• HistoryBulkResidueNormSumFrequency.lean 5 declarations
• HistoryBulkResidueNormSumTests.lean 8 declarations
• HistoryBulkResidueRootAverage.lean 0 declarations
• HistoryBulkResidueRootAverageBasic.lean 6 declarations
• HistoryBulkResidueRootAverageBounds.lean 4 declarations
• HistoryBulkResidueRootAverageMean.lean 4 declarations
• HistoryBulkRestorationError.lean 2 declarations
• HistoryBulkRestorationErrorBasic.lean 4 declarations
• HistoryBulkSelectedGoodOperator.lean 0 declarations
• HistoryBulkSelectedGoodOperatorBasic.lean 5 declarations
• HistoryBulkSelectedGoodOperatorCorrected.lean 1 declarations
• HistoryBulkSelectedGoodOperatorCorrectedReference.lean 1 declarations
• HistoryBulkSelectedGoodOperatorPlain.lean 1 declarations
• HistoryBulkSelectedGoodOperatorPlainReference.lean 1 declarations
• HistoryBulkSelectedGoodOperatorReference.lean 0 declarations
• HistoryBulkSelectedIntegralReplacementBasic.lean 1 declarations
• HistoryBulkSelectedIntegralReplacementCorrectedMixed.lean 1 declarations
• HistoryBulkSelectedIntegralReplacementCorrectedMixedReference.lean 1 declarations
• HistoryBulkSelectedIntegralReplacementCorrectedMixedReferenceError.lean 1 declarations
• HistoryBulkSelectedIntegralReplacementCorrectedPrime.lean 2 declarations
• HistoryBulkSelectedIntegralReplacementCorrectedPrimeReference.lean 1 declarations
• HistoryBulkSelectedIntegralReplacementCorrectedPrimeReferenceError.lean 1 declarations
• HistoryBulkSelectedIntegralReplacementMain.lean 2 declarations
• HistoryBulkSelectedIntegralReplacementMeans.lean 4 declarations
• HistoryBulkSelectedIntegralReplacementMixed.lean 1 declarations
• HistoryBulkSelectedIntegralReplacementPlainMixed.lean 1 declarations
• HistoryBulkSelectedIntegralReplacementPlainMixedReference.lean 1 declarations
• HistoryBulkSelectedIntegralReplacementPlainMixedReferenceError.lean 1 declarations
• HistoryBulkSelectedIntegralReplacementPlainPrime.lean 1 declarations
• HistoryBulkSelectedIntegralReplacementPlainPrimeReference.lean 1 declarations
• HistoryBulkSelectedIntegralReplacementPlainPrimeReferenceError.lean 1 declarations
• HistoryBulkSelectedIntegralReplacementTests.lean 2 declarations
• HistoryBulkSelectedPrincipalAmplitudeBulk.lean 2 declarations
• HistoryBulkSelectedPrincipalAmplitudeDensity.lean 4 declarations
• HistoryBulkSelectedPrincipalAmplitudeProduct.lean 3 declarations
• HistoryBulkSelectedPrincipalAmplitudeRoot.lean 1 declarations
• HistoryBulkSelectedPrincipalAmplitudeSource.lean 2 declarations
• HistoryBulkSelectedUniversalOperator.lean 2 declarations
• HistoryBulkSelectedUniversalOperatorActual.lean 1 declarations
• HistoryBulkSelectedUniversalOperatorActualData.lean 1 declarations
• HistoryBulkSelectedUniversalOperatorActualDefs.lean 3 declarations
• HistoryBulkSelectedUniversalOperatorAdmissible.lean 1 declarations
• HistoryBulkSelectedUniversalOperatorBasic.lean 6 declarations
• HistoryBulkSelectedUniversalOperatorIntegral.lean 1 declarations
• HistoryBulkSelectedUniversalOperatorPresent.lean 3 declarations
• HistoryBulkSelectedUniversalOperatorSelected.lean 1 declarations
• HistoryBulkSelectedUniversalOperatorWeighted.lean 1 declarations
• HistoryBulkSelectedUniversalSymbolicFamily.lean 1 declarations
• HistoryBulkSelectedUniversalSymbolicFamilyBasic.lean 3 declarations
• HistoryBulkSourceCollisionAncestors.lean 6 declarations
• HistoryBulkSourceCollisionAtoms.lean 2 declarations
• HistoryBulkSourceCollisionBasic.lean 4 declarations
• HistoryBulkSourceCollisionBirthday.lean 5 declarations
• HistoryBulkSourceCollisionBlocks.lean 3 declarations
• HistoryBulkSourceCollisionBudget.lean 2 declarations
• HistoryBulkSourceCollisionOrdered.lean 2 declarations
• HistoryBulkSourceCollisionSelected.lean 1 declarations
• HistoryBulkSourceCollisionSeparation.lean 5 declarations
• HistoryBulkSourceDisintegration.lean 5 declarations
• HistoryBulkSourceDisintegrationDefs.lean 10 declarations
• HistoryBulkSourceDisintegrationMass.lean 4 declarations
• HistoryBulkSourceDisintegrationPermutation.lean 1 declarations
• HistoryBulkSourceDisintegrationSelectedDefs.lean 9 declarations
• HistoryBulkSpectatorDiagramAverage.lean 0 declarations
• HistoryBulkSpectatorDiagramAverageBasic.lean 7 declarations
• HistoryBulkSpectatorDiagramAverageCanonical.lean 1 declarations
• HistoryBulkSpectatorDiagramAverageLeaf.lean 7 declarations
• HistoryBulkSpectatorDiagramAverageReference.lean 4 declarations
• HistoryBulkSpectatorDiagramAverageSource.lean 1 declarations
• HistoryBulkSpectatorGiantIndependence.lean 1 declarations
• HistoryBulkSpectatorGiantIndependenceBasic.lean 2 declarations
• HistoryBulkSpectatorProduct.lean 0 declarations
• HistoryBulkSpectatorProductBasic.lean 4 declarations
• HistoryBulkSpectatorProductBounds.lean 2 declarations
• HistoryBulkSpectatorProductCRT.lean 7 declarations
• HistoryBulkSpectatorProductMixed.lean 0 declarations
• HistoryBulkSpectatorProductMixedBasic.lean 12 declarations
• HistoryBulkSpectatorProductMixedBounds.lean 2 declarations
• HistoryBulkSpectatorProductMixedMean.lean 3 declarations
• HistoryBulkSpectatorReferenceRawAlgebra.lean 3 declarations
• HistoryBulkSpectatorReferenceRawBasic.lean 7 declarations
• HistoryBulkSpectatorReferenceRawDecode.lean 1 declarations
• HistoryBulkSpectatorReferenceRawEvaluation.lean 2 declarations
• HistoryBulkSpectatorReferenceRawIndependentMixed.lean 1 declarations
• HistoryBulkSpectatorReferenceRawIndependentUnit.lean 1 declarations
• HistoryBulkSpectatorReferenceRawLeaves.lean 3 declarations
• HistoryBulkSpectatorReferenceRawMixedBasic.lean 1 declarations
• HistoryBulkSpectatorReferenceRawProduct.lean 2 declarations
• HistoryBulkSpectatorReferenceRawSamples.lean 4 declarations
• HistoryBulkSpectatorReferenceRawSource.lean 1 declarations
• HistoryBulkSupportConverseActual.lean 2 declarations
• HistoryBulkSupportConverseArithmetic.lean 3 declarations
• HistoryBulkSupportConverseCanonical.lean 3 declarations
• HistoryBulkSupportConverseContext.lean 1 declarations
• HistoryBulkSupportConverseFrequency.lean 1 declarations
• HistoryBulkSupportConverseGeneralActual.lean 1 declarations
• HistoryBulkSupportConverseIndependent.lean 2 declarations
• HistoryBulkSupportConverseIndependentPairRaw.lean 1 declarations
• HistoryBulkSupportConverseIndependentReference.lean 6 declarations
• HistoryBulkSupportConverseKnown.lean 1 declarations
• HistoryBulkSupportConverseNode.lean 3 declarations
• HistoryBulkSupportConverseOutside.lean 5 declarations
• HistoryBulkSupportConversePairRaw.lean 1 declarations
• HistoryBulkSupportConversePlan.lean 2 declarations
• HistoryBulkSupportConversePlanBasic.lean 3 declarations
• HistoryBulkSupportConversePlanClearing.lean 4 declarations
• HistoryBulkSupportConversePlanDecoded.lean 1 declarations
• HistoryBulkSupportConversePlanEvaluation.lean 2 declarations
• HistoryBulkSupportConversePlanIntegerSample.lean 2 declarations
• HistoryBulkSupportConversePlanLinear.lean 7 declarations
• HistoryBulkSupportConversePlanOwn.lean 2 declarations
• HistoryBulkSupportConversePlanPositive.lean 7 declarations
• HistoryBulkSupportConversePlanPositiveCanonical.lean 2 declarations
• HistoryBulkSupportConversePlanPositiveScalar.lean 3 declarations
• HistoryBulkSupportConversePlanRegular.lean 2 declarations
• HistoryBulkSupportConversePlanReinsert.lean 3 declarations
• HistoryBulkSupportConversePlanSample.lean 6 declarations
• HistoryBulkSupportConverseReferenceEvent.lean 2 declarations
• HistoryBulkSupportConverseSelectedInputs.lean 1 declarations
• HistoryBulkSupportConverseSkeleton.lean 9 declarations
• HistoryBulkSupportConverseSkeletonDecode.lean 3 declarations
• HistoryBulkSupportConverseSkeletonDecodeBasic.lean 4 declarations
• HistoryBulkSupportConverseSourceUnits.lean 3 declarations
• HistoryBulkSupportConverseSpectator.lean 6 declarations
• HistoryBulkSupportConverseSpectatorDecoded.lean 3 declarations
• HistoryBulkSupportConverseSpectatorDivisors.lean 4 declarations
• HistoryBulkSupportConverseStep.lean 1 declarations
• HistoryBulkSupportConverseSupport.lean 1 declarations
• HistoryBulkSupportConverseTests.lean 5 declarations
• HistoryBulkUniversalPatternAggregation.lean 1 declarations
• HistoryBulkUniversalPatternAggregationBasic.lean 4 declarations
• HistoryBulkUniversalPatternAggregationFamily.lean 3 declarations
• HistoryBulkUniversalPatternAggregationNumerical.lean 4 declarations
• HistoryBulkUniversalPatternAggregationNumericalAmplitude.lean 2 declarations
• HistoryBulkUniversalPatternAggregationOriginal.lean 2 declarations
• HistoryBulkUniversalPatternAggregationOriginalBasic.lean 3 declarations
• HistoryBulkUniversalPatternAggregationOriginalPatterns.lean 5 declarations
• HistoryBulkUniversalPatternAggregationSelected.lean 1 declarations
• HistoryCRTFourProducts.lean 7 declarations
• HistoryCRTIntegration.lean 6 declarations
• HistoryCRTIntegrationBasic.lean 14 declarations
• HistoryCRTIntegrationBlocks.lean 8 declarations
• HistoryCRTIntegrationModuli.lean 14 declarations
• HistoryCRTIntegrationModulusBound.lean 5 declarations
• HistoryCRTIntegrationModulusBoundBasic.lean 8 declarations
• HistoryCRTIntegrationModulusBoundCost.lean 1 declarations
• HistoryCRTIntegrationRepresentatives.lean 6 declarations
• HistoryCRTProjectedProducts.lean 7 declarations
• HistoryCRTProjection.lean 9 declarations
• HistoryCRTProjectionActual.lean 4 declarations
• HistoryCRTProjectionBasic.lean 6 declarations
• HistoryCoefficientBounds.lean 10 declarations
• HistoryCoefficientDenominators.lean 10 declarations
• HistoryCoefficientIndependence.lean 11 declarations
• HistoryCoefficientRegular.lean 5 declarations
• HistoryCompensationAtomBasic.lean 6 declarations
• HistoryCompensationAtomPatterns.lean 5 declarations
• HistoryCompensationAtomSelected.lean 1 declarations
• HistoryCompensationAtomSources.lean 5 declarations
• HistoryCompensationBiasedKernelSum.lean 5 declarations
• HistoryCompensationBiasedKernelSumBasic.lean 4 declarations
• HistoryCompensationBiasedKernelSumDrawReference.lean 5 declarations
• HistoryCompensationBiasedKernelSumOptional.lean 6 declarations
• HistoryCompensationBiasedKernelSumSelected.lean 1 declarations
• HistoryCompensationBiasedKernelSumSymbolic.lean 3 declarations
• HistoryCompensationMomentBasic.lean 2 declarations
• HistoryCompensationMomentKernels.lean 2 declarations
• HistoryCompensationMomentSelected.lean 4 declarations
• HistoryCompensationMomentSources.lean 5 declarations
• HistoryCompensationNormalizationBudget.lean 4 declarations
• HistoryCompensationNormalizationBudgetCounts.lean 5 declarations
• HistoryCompensationNormalizationBudgetPriors.lean 1 declarations
• HistoryCompensationNormalizationBudgetScales.lean 6 declarations
• HistoryCompensationPatternBudget.lean 7 declarations
• HistoryCompensationPatternBudgetBasic.lean 4 declarations
• HistoryCompensationPatternBudgetHistory.lean 3 declarations
• HistoryCompensationPatternBudgetSources.lean 3 declarations
• HistoryCompensationPrincipalBudgetBiased.lean 1 declarations
• HistoryCompensationPrincipalBudgetDrawReference.lean 1 declarations
• HistoryCompensationRepresentativePatternsBasic.lean 12 declarations
• HistoryCompensationRepresentativePatternsDecoded.lean 14 declarations
• HistoryCompensationRepresentativePatternsKernels.lean 2 declarations
• HistoryDiagonalCorrectedOriginalMeanDefs.lean 2 declarations
• HistoryDiagonalCorrectedOriginalMeanEnergy.lean 2 declarations
• HistoryDiagonalCorrectedOriginalMeanEnergyBasic.lean 9 declarations
• HistoryDiagonalCorrectedOriginalMeanEnergySum.lean 3 declarations
• HistoryDiagonalCorrectedOriginalMeanEnergyTerms.lean 2 declarations
• HistoryDiagonalCorrectedOriginalMeanRestore.lean 1 declarations
• HistoryDiagonalCorrectedOriginalMeanZeroMass.lean 5 declarations
• HistoryDiagonalRemainingRootMatching.lean 7 declarations
• HistoryDiagonalRemainingRootMatchingActual.lean 5 declarations
• HistoryDiagonalRemainingRootMatchingAssigned.lean 1 declarations
• HistoryDiagonalRemainingRootMatchingBasic.lean 5 declarations
• HistoryDiagonalRemainingRootMatchingBulk.lean 7 declarations
• HistoryDiagonalRemainingRootMatchingPositions.lean 16 declarations
• HistoryDiagonalRemainingRootMatchingPositionsValues.lean 6 declarations
• HistoryDiagonalRemainingRootMatchingValues.lean 1 declarations
• HistoryDiagonalSmallAverage.lean 2 declarations
• HistoryDiagonalSmallAverageActual.lean 3 declarations
• HistoryDiagonalSmallAverageRoot.lean 7 declarations
• HistoryDiagonalSmallAverageSupport.lean 4 declarations
• HistoryDiagonalSmallAverageVanishing.lean 4 declarations
• HistoryDiagonalSmallGiantTransport.lean 0 declarations
• HistoryDiagonalSmallGiantTransportBasic.lean 6 declarations
• HistoryDiagonalSmallGiantTransportBounds.lean 2 declarations
• HistoryDiagonalSmallGiantTransportExtension.lean 7 declarations
• HistoryDiagonalSmallGiantTransportMixed.lean 5 declarations
• HistoryDiagonalSmallGiantTransportResidues.lean 4 declarations
• HistoryDiagonalSmallGiantTransportSource.lean 5 declarations
• HistoryDiagonalSmallGiantTransportSourceBasic.lean 4 declarations
• HistoryDiagonalSmallGiantTransportSourceDecoded.lean 4 declarations
• HistoryDiagonalSmallGiantTransportSourceMixed.lean 3 declarations
• HistoryDiagonalSmallOriginalMeanDefs.lean 7 declarations
• HistoryDiagonalSmallOriginalMeanEnergy.lean 1 declarations
• HistoryDiagonalSmallOriginalMeanEnergyFinite.lean 3 declarations
• HistoryDiagonalSmallOriginalMeanEnergySum.lean 2 declarations
• HistoryDiagonalSmallOriginalMeanRestore.lean 3 declarations
• HistoryDiagonalSmallOriginalMeanSelectedSupport.lean 4 declarations
• HistoryFieldEvaluation.lean 5 declarations
• HistoryFieldIndependence.lean 12 declarations
• HistoryFieldLinearity.lean 7 declarations
• HistoryFiniteFieldReversal.lean 13 declarations
• HistoryFrequencyConstraint.lean 2 declarations
• HistoryFrequencyContext.lean 8 declarations
• HistoryFrequencyExposure.lean 6 declarations
• HistoryFrequencyLeaves.lean 4 declarations
• HistoryFrequencyRealization.lean 1 declarations
• HistoryFrequencyRealizationCanonical.lean 3 declarations
• HistoryFrequencyRealizationLeaves.lean 3 declarations
• HistoryFrequencyRealizationMetadata.lean 10 declarations
• HistoryFrequencyRealizationMetadataBasic.lean 8 declarations
• HistoryFrequencyRealizationStep.lean 2 declarations
• HistoryFrequencyRealizationUnitsDefs.lean 1 declarations
• HistoryFrequencyRealizationUnitsPair.lean 4 declarations
• HistoryFrequencyRealizationUnitsSources.lean 5 declarations
• HistoryFrequencyResidues.lean 6 declarations
• HistoryFrequencySplit.lean 8 declarations
• HistoryGiantChoiceMass.lean 7 declarations
• HistoryGiantCompensationError.lean 2 declarations
• HistoryGiantCompensationErrorAverage.lean 1 declarations
• HistoryGiantCompensationErrorBasic.lean 3 declarations
• HistoryGiantCompensationErrorCap.lean 5 declarations
• HistoryGiantCompensationErrorFrequencies.lean 1 declarations
• HistoryGiantCompensationErrorSelected.lean 1 declarations
• HistoryGiantCompensationProduct.lean 2 declarations
• HistoryGiantCompensationProductBasic.lean 5 declarations
• HistoryGiantCounterpartBounds.lean 2 declarations
• HistoryGiantCounterpartBoundsBasic.lean 7 declarations
• HistoryGiantCounterpartBoundsSelected.lean 1 declarations
• HistoryGiantFrequencyCount.lean 5 declarations
• HistoryGiantFrequencyCountBasic.lean 3 declarations
• HistoryGiantGridCellBounds.lean 1 declarations
• HistoryGiantGridCellBoundsBudget.lean 1 declarations
• HistoryGiantGridCellBoundsMixed.lean 3 declarations
• HistoryGiantGridCellBoundsMonotone.lean 1 declarations
• HistoryGiantGridCellBoundsNormalization.lean 2 declarations
• HistoryGiantGridCellBoundsPrime.lean 3 declarations
• HistoryGiantIndependentModulus.lean 1 declarations
• HistoryGiantIndependentModulusBasic.lean 1 declarations
• HistoryGiantOriginalMeanApproximation.lean 3 declarations
• HistoryGiantOriginalMeanApproximationDefs.lean 4 declarations
• HistoryGiantOriginalMeanChoicesDefs.lean 6 declarations
• HistoryGiantOriginalMeanCompensation.lean 2 declarations
• HistoryGiantOriginalMeanFactorization.lean 2 declarations
• HistoryGiantOriginalMeanFactorizationDefs.lean 12 declarations
• HistoryGiantPrincipalMassBounds.lean 5 declarations
• HistoryGiantPrincipalMassBoundsBasic.lean 3 declarations
• HistoryGiantPrincipalMassBoundsOriginal.lean 3 declarations
• HistoryGiantPriorCollision.lean 5 declarations
• HistoryGiantPriorExceptionalError.lean 2 declarations
• HistoryGiantPriorExceptionalErrorBasic.lean 5 declarations
• HistoryGiantPriorGridBasic.lean 6 declarations
• HistoryGiantPriorGridMixed.lean 4 declarations
• HistoryGiantPriorGridMixedInteger.lean 3 declarations
• HistoryGiantPriorGridPrime.lean 3 declarations
• HistoryGiantPriorGridResidues.lean 7 declarations
• HistoryGiantPriorGridResiduesMixed.lean 2 declarations
• HistoryGiantPriorGridResiduesPrime.lean 1 declarations
• HistoryGiantPriorReplacementMixed.lean 2 declarations
• HistoryGiantPriorReplacementPrime.lean 2 declarations
• HistoryGiantReferenceCorrectedMeanBasic.lean 2 declarations
• HistoryGiantReferenceCorrectedMeanLaws.lean 2 declarations
• HistoryGiantReferenceCorrectedMeanOriginal.lean 2 declarations
• HistoryGiantReferenceCounterpart.lean 0 declarations
• HistoryGiantReferenceCounterpartBasic.lean 5 declarations
• HistoryGiantReferenceCounterpartOriginal.lean 2 declarations
• HistoryGiantReferenceCounterpartValue.lean 2 declarations
• HistoryGiantReferenceCounterpartXi.lean 3 declarations
• HistoryGiantReferenceMeanBasic.lean 7 declarations
• HistoryGiantReferenceMeanLaws.lean 19 declarations
• HistoryGiantReferenceMeanMetadata.lean 8 declarations
• HistoryGiantReferenceMeanNonzero.lean 2 declarations
• HistoryGiantReferenceMeanNonzeroOriginal.lean 2 declarations
• HistoryGiantReferenceMeanNonzeroSelected.lean 1 declarations
• HistoryGiantReferenceMeanOriginal.lean 2 declarations
• HistoryGiantReferenceMeanSelected.lean 3 declarations
• HistoryGiantReferenceSourceBounds.lean 0 declarations
• HistoryGiantReferenceSourceBoundsBasic.lean 2 declarations
• HistoryGiantReferenceSourceBoundsSelected.lean 4 declarations
• HistoryGiantReferenceSourceMean.lean 4 declarations
• HistoryGiantReplacementErrorBasic.lean 6 declarations
• HistoryGiantReplacementErrorPrime.lean 3 declarations
• HistoryGiantReplacementGeometryBasic.lean 3 declarations
• HistoryGiantRootFrequencyCount.lean 2 declarations
• HistoryGiantSourceBounds.lean 1 declarations
• HistoryGiantSourceBoundsBasic.lean 3 declarations
• HistoryGiantSourceBoundsPair.lean 4 declarations
• HistoryGiantSourceBoundsSelected.lean 1 declarations
• HistoryGiantUncorrectedOriginalMeanApproximation.lean 3 declarations
• HistoryGiantUncorrectedOriginalMeanApproximationDefs.lean 4 declarations
• HistoryGiantUncorrectedOriginalMeanChoicesDefs.lean 2 declarations
• HistoryGiantUncorrectedOriginalMeanCovariance.lean 2 declarations
• HistoryGiantUncorrectedOriginalMeanCovarianceBasic.lean 1 declarations
• HistoryGiantUncorrectedOriginalMeanCovarianceFinite.lean 2 declarations
• HistoryGiantUncorrectedOriginalMeanDefs.lean 4 declarations
• HistoryGiantUncorrectedOriginalMeanFactorization.lean 2 declarations
• HistoryGiantWeightedPriorReplacement.lean 0 declarations
• HistoryGiantWeightedPriorReplacementBasic.lean 9 declarations
• HistoryGiantWeightedPriorReplacementBounds.lean 8 declarations
• HistoryGiantWeightedPriorReplacementGrid.lean 3 declarations
• HistoryGiantWeightedPriorReplacementGuard.lean 3 declarations
• HistoryGiantWeightedPriorReplacementMixed.lean 1 declarations
• HistoryGiantWeightedPriorReplacementPrime.lean 1 declarations
• HistoryGiantWeightedPriorReplacementSamples.lean 2 declarations
• HistoryGiantXiPriorReplacement.lean 0 declarations
• HistoryGiantXiPriorReplacementBasic.lean 4 declarations
• HistoryGiantXiPriorReplacementMixed.lean 1 declarations
• HistoryGiantXiPriorReplacementPrime.lean 1 declarations
• HistoryGiantXiPriorReplacementSamples.lean 4 declarations
• HistoryGiantXiReplacementActualBounds.lean 1 declarations
• HistoryGiantXiReplacementActualBoundsBasic.lean 6 declarations
• HistoryGiantXiReplacementActualBoundsFinite.lean 2 declarations
• HistoryGiantXiReplacementActualCounterpart.lean 1 declarations
• HistoryGiantXiReplacementActualDefs.lean 6 declarations
• HistoryGiantXiReplacementActualErrorAlgebra.lean 1 declarations
• HistoryGiantXiReplacementActualErrorDefs.lean 2 declarations
• HistoryGiantXiReplacementActualGuarded.lean 1 declarations
• HistoryGiantXiReplacementActualGuardedBudget.lean 1 declarations
• HistoryGiantXiReplacementActualGuardedComparison.lean 2 declarations
• HistoryGiantXiReplacementActualGuardedCore.lean 2 declarations
• HistoryGiantXiReplacementActualGuardedDefs.lean 2 declarations
• HistoryGiantXiReplacementActualGuardedSelected.lean 1 declarations
• HistoryGiantXiReplacementActualMetadata.lean 2 declarations
• HistoryGiantXiReplacementActualMixedCore.lean 1 declarations
• HistoryGiantXiReplacementActualPrimeCore.lean 1 declarations
• HistoryGiantXiReplacementActualSelected.lean 1 declarations
• HistoryGiantXiReplacementActualSource.lean 1 declarations
• HistoryGiantXiReplacementUncorrectedBasic.lean 3 declarations
• HistoryGiantXiReplacementUncorrectedDefs.lean 4 declarations
• HistoryGiantXiReplacementUncorrectedGuarded.lean 1 declarations
• HistoryGiantXiReplacementUncorrectedGuardedComparison.lean 2 declarations
• HistoryGiantXiReplacementUncorrectedGuardedCore.lean 2 declarations
• HistoryGiantXiReplacementUncorrectedGuardedDefs.lean 2 declarations
• HistoryGiantXiReplacementUncorrectedGuardedSelected.lean 1 declarations
• HistoryGiantXiReplacementUncorrectedMixedCore.lean 1 declarations
• HistoryGiantXiReplacementUncorrectedPrimeCore.lean 1 declarations
• HistoryGiantXiReplacementUncorrectedSelected.lean 1 declarations
• HistoryGiantXiReplacementWeighted.lean 1 declarations
• HistoryGiantXiReplacementWeightedAlgebra.lean 1 declarations
• HistoryGiantXiReplacementWeightedBudget.lean 1 declarations
• HistoryGiantXiReplacementWeightedDecay.lean 1 declarations
• HistoryGiantXiReplacementWeightedDefs.lean 4 declarations
• HistoryGiantXiReplacementWeightedGuardedComparison.lean 2 declarations
• HistoryGiantXiReplacementWeightedGuardedCore.lean 1 declarations
• HistoryGiantXiReplacementWeightedGuardedSelected.lean 1 declarations
• HistoryGiantXiReplacementWeightedMixedAnalytic.lean 1 declarations
• HistoryGiantXiReplacementWeightedMixedCore.lean 1 declarations
• HistoryGiantXiReplacementWeightedPrimeAnalytic.lean 1 declarations
• HistoryGiantXiReplacementWeightedPrimeCore.lean 1 declarations
• HistoryGiantXiReplacementWeightedSelected.lean 1 declarations
• HistoryGoodPrincipalFinalRate.lean 6 declarations
• HistoryHeightBudget.lean 16 declarations
• HistoryHeightBudgetActual.lean 6 declarations
• HistoryHeightBudgetCost.lean 17 declarations
• HistoryHeightBudgetFixed.lean 14 declarations
• HistoryHeightBudgetNumerator.lean 7 declarations
• HistoryIntegerFieldBridge.lean 9 declarations
• HistoryKernelBlock.lean 1 declarations
• HistoryKernelCollisionPair.lean 1 declarations
• HistoryLeafProducts.lean 3 declarations
• HistoryLinearization.lean 2 declarations
• HistoryNumeratorForms.lean 7 declarations
• HistoryOccurrenceLevels.lean 4 declarations
• HistoryOccurrenceRows.lean 13 declarations
• HistoryOccurrenceVariables.lean 10 declarations
• HistoryPairActiveReindex.lean 5 declarations
• HistoryPairActiveXi.lean 5 declarations
• HistoryPairBulkCoordinatesActual.lean 3 declarations
• HistoryPairBulkCoordinatesBasic.lean 12 declarations
• HistoryPairBulkCoordinatesFrozen.lean 7 declarations
• HistoryPairBulkCoordinatesMatching.lean 8 declarations
• HistoryPairBulkCoordinatesOrder.lean 10 declarations
• HistoryPairBulkCoordinatesPermutation.lean 5 declarations
• HistoryPairBulkCoordinatesSelected.lean 4 declarations
• HistoryPairBulkTransportAssigned.lean 7 declarations
• HistoryPairBulkTransportBasic.lean 6 declarations
• HistoryPairBulkTransportDecoded.lean 5 declarations
• HistoryPairBulkTransportInsertion.lean 9 declarations
• HistoryPairFlagBounds.lean 7 declarations
• HistoryPairFlagReplacement.lean 2 declarations
• HistoryPairFlagReplacementUnnormalized.lean 2 declarations
• HistoryPairFlagScope.lean 10 declarations
• HistoryPairFlags.lean 10 declarations
• HistoryPairGiantCoordinates.lean 15 declarations
• HistoryPairGiantCoordinatesBasic.lean 16 declarations
• HistoryPairKernelProductReplacementBasic.lean 4 declarations
• HistoryPairKernelProductReplacementFamily.lean 2 declarations
• HistoryPairKernelProductReplacementMatched.lean 2 declarations
• HistoryPairKernelProductReplacementMatchedFamily.lean 1 declarations
• HistoryPairKernelProductReplacementMatchedOriginalSamples.lean 7 declarations
• HistoryPairKernelProductReplacementMatchedRepresentative.lean 2 declarations
• HistoryPairKernelProductReplacementMatchedRootSupport.lean 5 declarations
• HistoryPairKernelProductReplacementMatchedSelectedSupport.lean 2 declarations
• HistoryPairKernelProductReplacementOriginalSamples.lean 2 declarations
• HistoryPairKernelProductReplacementSources.lean 3 declarations
• HistoryPairKernelReplacement.lean 3 declarations
• HistoryPairKernelReplacementBasic.lean 14 declarations
• HistoryPairKernelReplacementGiantFree.lean 3 declarations
• HistoryPairKernelReplacementPointwise.lean 7 declarations
• HistoryPairKernelReplacementUnnormalized.lean 2 declarations
• HistoryPairKernelReplacementUnnormalizedExact.lean 2 declarations
• HistoryPairMixedReplacementCorrected.lean 1 declarations
• HistoryPairMixedReplacementCorrectedBasic.lean 5 declarations
• HistoryPairMixedReplacementCorrectedBounds.lean 7 declarations
• HistoryPairMixedReplacementCorrectedDeriv.lean 1 declarations
• HistoryPairMixedReplacementCorrectedDiagonal.lean 1 declarations
• HistoryPairMixedReplacementCorrectedPrior.lean 8 declarations
• HistoryPairMixedReplacementCorrectedReindex.lean 3 declarations
• HistoryPairMixedReplacementCorrectedSample.lean 10 declarations
• HistoryPairNumerators.lean 7 declarations
• HistoryPairPattern.lean 48 declarations
• HistoryPairPolynomialKernel.lean 9 declarations
• HistoryPairPrimeIntegration.lean 11 declarations
• HistoryPairReferenceFlagExpectation.lean 0 declarations
• HistoryPairReferenceFlagExpectationActual.lean 2 declarations
• HistoryPairReferenceFlagExpectationBasic.lean 7 declarations
• HistoryPairReferenceFlagExpectationBlocks.lean 5 declarations
• HistoryPairReferenceFlagExpectationBudget.lean 1 declarations
• HistoryPairReferenceFlagExpectationCanonicalBudget.lean 1 declarations
• HistoryPairReferenceFlagExpectationFinite.lean 5 declarations
• HistoryPairReferenceFlagExpectationMatchedBlocks.lean 2 declarations
• HistoryPairReferenceFlagExpectationMatchedReference.lean 12 declarations
• HistoryPairReferenceFlagExpectationMatchedReferenceMetadata.lean 7 declarations
• HistoryPairReferenceFlagExpectationMatchedSelected.lean 1 declarations
• HistoryPairReferenceFlagExpectationMatchedSelectedFamily.lean 6 declarations
• HistoryPairReferenceFlagExpectationMatchedSelectedPerClass.lean 1 declarations
• HistoryPairReferenceFlagExpectationMatchedSelectedProducer.lean 2 declarations
• HistoryPairReferenceFlagExpectationMatchedSource.lean 2 declarations
• HistoryPairReferenceFlagExpectationMatchedSourceActual.lean 1 declarations
• HistoryPairReferenceFlagExpectationMatchedSourceSelection.lean 2 declarations
• HistoryPairReferenceFlagExpectationSelected.lean 1 declarations
• HistoryPairReferenceFlagExpectationSelectedCost.lean 7 declarations
• HistoryPairReferenceFlagExpectationSelectedFamily.lean 6 declarations
• HistoryPairReferenceFlagExpectationSelectedPerClass.lean 1 declarations
• HistoryPairReferenceFlagExpectationSelectedProducer.lean 2 declarations
• HistoryPairReferenceFlagExpectationSelectedReference.lean 12 declarations
• HistoryPairReferenceFlagExpectationSelectedReferenceMetadata.lean 7 declarations
• HistoryPairReferenceFlagExpectationSelectedReindex.lean 1 declarations
• HistoryPairReferenceFlagExpectationSelection.lean 1 declarations
• HistoryPairReferenceFlagExpectationSource.lean 6 declarations
• HistoryPairReferenceFlagExpectationSourceActual.lean 1 declarations
• HistoryPairReferenceFlagExpectationSourceSelection.lean 2 declarations
• HistoryPairReferenceFlagPrincipal.lean 1 declarations
• HistoryPairReferenceFlagPrincipalBound.lean 1 declarations
• HistoryPairReferenceFlagPrincipalBulk.lean 10 declarations
• HistoryPairReferenceFlagPrincipalBulkSamples.lean 5 declarations
• HistoryPairReferenceFlagPrincipalData.lean 6 declarations
• HistoryPairReferenceFlagPrincipalFamily.lean 6 declarations
• HistoryPairReferenceFlagPrincipalMatched.lean 1 declarations
• HistoryPairReferenceFlagPrincipalMatchedBound.lean 1 declarations
• HistoryPairReferenceFlagPrincipalMatchedData.lean 6 declarations
• HistoryPairReferenceFlagPrincipalMatchedFamily.lean 8 declarations
• HistoryPairReferenceFlagPrincipalMatchedSamples.lean 1 declarations
• HistoryPairReferenceFlagPrincipalOuter.lean 4 declarations
• HistoryPairReferenceFlagPrincipalSamples.lean 1 declarations
• HistoryPairReferenceFlagsTransport.lean 2 imports, no declarations
• HistoryPairReferenceFlagsTransportActual.lean 7 declarations
• HistoryPairReferenceFlagsTransportBasic.lean 11 declarations
• HistoryPairReferenceFlagsTransportFamilies.lean 3 declarations
• HistoryPairReferenceFlagsTransportFlags.lean 8 declarations
• HistoryPairReferenceFlagsTransportKernels.lean 10 declarations
• HistoryPairReferenceFlagsTransportMetadata.lean 2 declarations
• HistoryPairReferenceSourceTransportActual.lean 3 declarations
• HistoryPairReferenceSourceTransportBasic.lean 12 declarations
• HistoryPairReferenceSourceTransportBlocks.lean 10 declarations
• HistoryPairReferenceSourceTransportLaws.lean 6 declarations
• HistoryPairReferenceSourceTransportMatched.lean 7 declarations
• HistoryPairReferenceSourceTransportMatchedLaws.lean 3 declarations
• HistoryPairReferenceSourceTransportSamples.lean 5 declarations
• HistoryPairRepresentativeVariables.lean 6 declarations
• HistoryPairRepresentatives.lean 17 declarations
• HistoryPairRows.lean 18 declarations
• HistoryPairScaledKernelReplacementBounds.lean 7 declarations
• HistoryPairScaledKernelReplacementNonzero.lean 1 declarations
• HistoryPairScaledKernelReplacementSelected.lean 3 declarations
• HistoryPairScaledKernelReplacementSources.lean 8 declarations
• HistoryPairScaledKernelReplacementUnnormalizedExact.lean 2 declarations
• HistoryPairSmoothXi.lean 5 declarations
• HistoryPairSourceCoordinatesBasic.lean 16 declarations
• HistoryPairSourceCoordinatesDecoded.lean 9 declarations
• HistoryPairSourceCoordinatesMatched.lean 11 declarations
• HistoryPairSourceFlagEnvelope.lean 1 declarations
• HistoryPairSourceFlagEnvelopeBasic.lean 2 declarations
• HistoryPairSourceFlagMatchedBudget.lean 5 declarations
• HistoryPairSourceFlagPruned.lean 0 declarations
• HistoryPairSourceFlagPrunedBudget.lean 1 declarations
• HistoryPairSourceFlagPrunedSelected.lean 1 declarations
• HistoryPairSourceFlagPruning.lean 5 declarations
• HistoryPairSourceFlagPruningBasic.lean 11 declarations
• HistoryPairSourceFlagReplacement.lean 0 declarations
• HistoryPairSourceFlagReplacementBasic.lean 1 declarations
• HistoryPairSourceFlagReplacementBudget.lean 1 declarations
• HistoryPairSourceFlagReplacementCost.lean 1 declarations
• HistoryPairSourceFlagReplacementExact.lean 1 declarations
• HistoryPairSourceFlagReplacementExpectation.lean 1 declarations
• HistoryPairSourceFlagReplacementFinite.lean 1 declarations
• HistoryPairSourceFlagReplacementLaws.lean 5 declarations
• HistoryPairSourceFlagReplacementMean.lean 3 declarations
• HistoryPairSourceFlagReplacementSelected.lean 1 declarations
• HistoryPairSourceFlagReplacementSelectedBudget.lean 1 declarations
• HistoryPairSourceFlagReplacementTerms.lean 4 declarations
• HistoryPairSourceLaws.lean 3 declarations
• HistoryPairSourceLawsBlocks.lean 6 declarations
• HistoryPairSourceLawsBounds.lean 1 declarations
• HistoryPairSourceLawsBoundsBasic.lean 5 declarations
• HistoryPairSourceLawsBoundsMixed.lean 1 declarations
• HistoryPairSourceLawsBoundsUpdate.lean 2 declarations
• HistoryPairSourceLawsCarriers.lean 8 declarations
• HistoryPairSourceLawsFinite.lean 3 declarations
• HistoryPairSourceLawsFubini.lean 3 declarations
• HistoryPairSourceLawsMixed.lean 10 declarations
• HistoryPairSourceLawsPartition.lean 1 declarations
• HistoryPairSourceLawsSupport.lean 2 declarations
• HistoryPairSourceLawsSupportBasic.lean 7 declarations
• HistoryPairSourceLawsSupportMatched.lean 2 declarations
• HistoryPairSourceLawsSupportTransport.lean 4 declarations
• HistoryPairSourceLawsSupportUpdate.lean 3 declarations
• HistoryPairSourceLawsUpdate.lean 5 declarations
• HistoryPairSquareProbability.lean 0 declarations
• HistoryPairSquareProbabilityActual.lean 9 declarations
• HistoryPairSquareProbabilityAverage.lean 9 declarations
• HistoryPairSquareProbabilityB.lean 5 declarations
• HistoryPairSquareProbabilityBAverage.lean 4 declarations
• HistoryPairSquareProbabilityBAverageBasic.lean 8 declarations
• HistoryPairSquareProbabilityBAverageCRT.lean 4 declarations
• HistoryPairSquareProbabilityBasic.lean 6 declarations
• HistoryPairSquareProbabilityLaws.lean 9 declarations
• HistoryPairSquareProbabilityLines.lean 5 declarations
• HistoryPairSquareProbabilityProduct.lean 7 declarations
• HistoryPairVariableBAverageCRT.lean 4 declarations
• HistoryPairVariableBAverageDefs.lean 13 declarations
• HistoryPairVariableBAverageError.lean 4 declarations
• HistoryPairVariableBAverageFactor.lean 3 declarations
• HistoryPairVariableBAverageLoss.lean 4 declarations
• HistoryPairVariableBAverageNonzero.lean 4 declarations
• HistoryPairVariableBAverageSources.lean 3 declarations
• HistoryPairVariableBSquareErrorSelected.lean 2 declarations
• HistoryPairVariableBSquareErrorSelectedBasic.lean 4 declarations
• HistoryPairVariableBSquareErrorSelectedBudget.lean 1 declarations
• HistoryPairVariableBSquareErrorSelectedDefs.lean 3 declarations
• HistoryPairVariableBSquareErrorSelectedKernel.lean 5 declarations
• HistoryPairVariableBSquareErrorSelectedOriginal.lean 1 declarations
• HistoryPairVariableBSquareErrorSelectedPointwise.lean 2 declarations
• HistoryPairVariableBSquareErrorSelectedReciprocal.lean 1 declarations
• HistoryPairVariableBSquareErrorSelectedReferences.lean 3 declarations
• HistoryPairVariableBSquareErrorSelectedSum.lean 1 declarations
• HistoryPairVariableBSquareErrorSelectedWeighted.lean 2 declarations
• HistoryPairedFrequencyAverage.lean 1 declarations
• HistoryPairedFrequencyAverageActual.lean 2 declarations
• HistoryPairedFrequencyAverageBasic.lean 5 declarations
• HistoryPairedFrequencyAverageBulk.lean 4 declarations
• HistoryPairedFrequencyAverageCanonical.lean 4 declarations
• HistoryPairedFrequencyAverageCount.lean 3 declarations
• HistoryPairedFrequencyAverageData.lean 11 declarations
• HistoryPairedFrequencyAverageHaar.lean 4 declarations
• HistoryPairedFrequencyAverageHaarBasic.lean 12 declarations
• HistoryPairedFrequencyAverageHistory.lean 5 declarations
• HistoryPairedFrequencyAverageHistoryBasic.lean 5 declarations
• HistoryPairedFrequencyAverageHistoryBudget.lean 3 declarations
• HistoryPairedFrequencyAverageOrder.lean 4 declarations
• HistoryPairedFrequencyAverageRingUnit.lean 4 declarations
• HistoryPairedFrequencyAverageRingUnitActual.lean 1 declarations
• HistoryPairedFrequencyAverageSupported.lean 3 declarations
• HistoryPathCoordinates.lean 10 declarations
• HistoryPatternFlagBounds.lean 9 declarations
• HistoryPatternRows.lean 14 declarations
• HistoryPrimeRows.lean 8 declarations
• HistoryPrimeSquareSupport.lean 4 declarations
• HistoryPrincipalIntegralAverage.lean 4 declarations
• HistoryPrincipalIntegralAverageBasic.lean 5 declarations
• HistoryPrincipalIntegralAverageMixed.lean 4 declarations
• HistoryPrincipalIntegralBounds.lean 1 declarations
• HistoryPrincipalIntegralBoundsBasic.lean 3 declarations
• HistoryPrincipalIntegralBoundsBulk.lean 3 declarations
• HistoryPrincipalIntegralBoundsGiant.lean 1 declarations
• HistoryPrincipalIntegralBoundsMixed.lean 3 declarations
• HistoryPrincipalIntegralFiniteBasic.lean 5 declarations
• HistoryPrincipalIntegralFiniteBounds.lean 5 declarations
• HistoryPrincipalIntegralFiniteSum.lean 4 declarations
• HistoryPrincipalIntegralParameter.lean 3 declarations
• HistoryPrincipalIntegralParameterBasic.lean 1 declarations
• HistoryProductWindows.lean 7 declarations
• HistoryProductWindowsBulk.lean 4 declarations
• HistoryProductWindowsCells.lean 9 declarations
• HistoryProductWindowsEquation48.lean 3 declarations
• HistoryProductWindowsGeometricSupport.lean 2 declarations
• HistoryProductWindowsNominal.lean 14 declarations
• HistoryProductWindowsNormalize.lean 6 declarations
• HistoryProductWindowsSlots.lean 8 declarations
• HistoryProductWindowsSupport.lean 2 declarations
• HistoryProductWindowsTemplates.lean 14 declarations
• HistoryRepeatedRenamingBasic.lean 14 declarations
• HistoryRepeatedRenamingPattern.lean 19 declarations
• HistoryRepeatedRenamingScope.lean 4 declarations
• HistoryRepeatedSmoothPullback.lean 2 declarations
• HistoryRepresentativeIntegerAdmissible.lean 2 declarations
• HistoryRepresentativeSourceSeparationAncestors.lean 3 declarations
• HistoryRepresentativeSourceSeparationInjective.lean 4 declarations
• HistoryRepresentativeSourceSeparationMetadata.lean 4 declarations
• HistoryRepresentativeSourceSeparationModuli.lean 6 declarations
• HistoryRepresentativeSourceSeparationSelected.lean 4 declarations
• HistoryRepresentativeSourceSeparationSources.lean 6 declarations
• HistoryResidueRegular.lean 7 declarations
• HistoryResidueUnits.lean 14 declarations
• HistorySelectedBulkErrorBudget.lean 1 declarations
• HistorySelectedBulkErrorBudgetBasic.lean 4 declarations
• HistorySelectedCancellationBound.lean 5 declarations
• HistorySelectedComparisonAbsorption.lean 3 declarations
• HistorySelectedComparisonAbsorptionBasic.lean 3 declarations
• HistorySelectedFlagBudgets.lean 4 declarations
• HistorySelectedFlagBudgetsActual.lean 6 declarations
• HistorySelectedFlagBudgetsCounts.lean 12 declarations
• HistorySelectedFlagBudgetsCountsExponential.lean 14 declarations
• HistorySelectedFlagBudgetsHeight.lean 6 declarations
• HistorySelectedFlagBudgetsNumerics.lean 6 declarations
• HistorySelectedFlagError.lean 1 declarations
• HistorySelectedFlagErrorSum.lean 1 declarations
• HistorySelectedFlagMassBounds.lean 2 declarations
• HistorySelectedFlagMassBoundsBasic.lean 11 declarations
• HistorySelectedFlagMassBoundsCounts.lean 1 declarations
• HistorySelectedGiantDensityMass.lean 3 declarations
• HistorySelectedGiantDensityMassBasic.lean 5 declarations
• HistorySelectedGoodMainBudget.lean 2 declarations
• HistorySelectedGoodMainBudgetActual.lean 1 declarations
• HistorySelectedGoodMainBudgetBasic.lean 8 declarations
• HistorySelectedGoodMainBudgetRoot.lean 4 declarations
• HistorySelectedGoodMainBudgetRootBasic.lean 4 declarations
• HistorySelectedGoodMainBudgetSpectator.lean 5 declarations
• HistorySelectedJointIntegralBounds.lean 2 declarations
• HistorySelectedJointIntegralBoundsDefs.lean 5 declarations
• HistorySelectedJointIntegralBoundsInteger.lean 2 declarations
• HistorySelectedJointIntegralBoundsIntegerSource.lean 2 declarations
• HistorySelectedJointIntegralBoundsMeasure.lean 1 declarations
• HistorySelectedJointIntegralBoundsNorm.lean 4 declarations
• HistorySelectedJointIntegralBoundsSource.lean 3 declarations
• HistorySelectedPairDerivativeBounds.lean 7 declarations
• HistorySelectedPairDerivativeBoundsAmplitude.lean 2 declarations
• HistorySelectedPairDerivativeBoundsBasic.lean 5 declarations
• HistorySelectedPairDerivativeBoundsCounts.lean 5 declarations
• HistorySelectedPairDerivativeBoundsNumerics.lean 6 declarations
• HistorySelectedPairDerivativeCounts.lean 8 declarations
• HistorySelectedPairDerivativeCountsBasic.lean 13 declarations
• HistorySelectedPatternFlagError.lean 3 declarations
• HistorySelectedPatternFlagErrorActual.lean 2 declarations
• HistorySelectedPatternFlagErrorCounts.lean 8 declarations
• HistorySelectedResidualBudget.lean 2 declarations
• HistorySelectedResidualBudgetBasic.lean 3 declarations
• HistorySelectedRootErrorBudget.lean 1 declarations
• HistorySelectedRootErrorBudgetBasic.lean 2 declarations
• HistorySelectedRootErrorBudgetNumerics.lean 4 declarations
• HistorySelectedRootFlagErrorNumerics.lean 3 declarations
• HistorySelectedRootFlagErrorRates.lean 2 declarations
• HistorySelectedScaledFlagError.lean 1 declarations
• HistorySelectedScaledFlagErrorBasic.lean 3 declarations
• HistorySelectedSourceAtomBounds.lean 3 declarations
• HistorySelectedUniversalMainBudget.lean 2 declarations
• HistorySelectedUniversalMainBudgetBasic.lean 5 declarations
• HistorySelectedXiCenter.lean 4 declarations
• HistorySignedDecodeAgreement.lean 2 declarations
• HistorySignedDecodeBasic.lean 13 declarations
• HistorySignedDecodeExpression.lean 3 declarations
• HistorySignedDecodeIntegral.lean 7 declarations
• HistorySignedDecodeRebuild.lean 8 declarations
• HistorySignedDecodeSupported.lean 5 declarations
• HistorySignedDecodeSupportedIntegral.lean 2 declarations
• HistorySignedDecodeTreeExpression.lean 6 declarations
• HistorySignedDecodeTreeExpressionBasic.lean 8 declarations
• HistorySignedDecodeXi.lean 6 declarations
• HistorySignedDecodeZero.lean 5 declarations
• HistorySignedFrequencyCanonical.lean 4 declarations
• HistorySignedFrequencyContext.lean 5 declarations
• HistorySignedFrequencyConverse.lean 1 declarations
• HistorySignedFrequencyEquivalence.lean 2 declarations
• HistorySignedFrequencyForward.lean 1 declarations
• HistorySignedFrequencyGuardContextBasic.lean 2 declarations
• HistorySignedFrequencyGuardContextBridge.lean 2 declarations
• HistorySignedFrequencyGuardContextCanonical.lean 2 declarations
• HistorySignedFrequencyGuardContextConverse.lean 2 declarations
• HistorySignedFrequencyGuardContextDefs.lean 4 declarations
• HistorySignedFrequencyGuards.lean 6 declarations
• HistorySignedFrequencyIndependentPair.lean 3 declarations
• HistorySignedFrequencyIndependentSingle.lean 3 declarations
• HistorySignedFrequencyNode.lean 2 declarations
• HistorySignedFrequencySplit.lean 5 declarations
• HistorySignedFrequencyStep.lean 1 declarations
• HistorySignedFrequencyUnits.lean 3 declarations
• HistorySignedNumeratorsAncestors.lean 2 declarations
• HistorySignedNumeratorsAncestorsBasic.lean 5 declarations
• HistorySignedNumeratorsAncestorsPair.lean 4 declarations
• HistorySignedNumeratorsBasic.lean 5 declarations
• HistorySignedNumeratorsDivisibility.lean 3 declarations
• HistorySignedNumeratorsLift.lean 1 declarations
• HistorySignedNumeratorsLinear.lean 5 declarations
• HistorySignedNumeratorsPair.lean 4 declarations
• HistorySignedResidueAverages.lean 4 declarations
• HistorySignedResidueFactorization.lean 2 declarations
• HistorySignedResidueFactorizationB.lean 10 declarations
• HistorySignedResidueFactorizationBasic.lean 8 declarations
• HistorySignedResidueFactorizationBlockDefs.lean 5 declarations
• HistorySignedResidueFactorizationBlocks.lean 2 declarations
• HistorySignedResidueFactorizationCRT.lean 4 declarations
• HistorySignedResidueFactorizationCRTSelectedBasic.lean 4 declarations
• HistorySignedResidueFactorizationFinite.lean 3 declarations
• HistorySignedResidueFactorizationIndependent.lean 3 declarations
• HistorySignedResidueFactorizationIntegral.lean 1 declarations
• HistorySignedResidueFactorizationMask.lean 3 declarations
• HistorySignedResidueFactorizationPairedBlocks.lean 1 declarations
• HistorySignedResidueFactorizationPairedCRT.lean 2 declarations
• HistorySignedResidueFactorizationRoot.lean 4 declarations
• HistorySignedResidueFactorizationRootUnits.lean 2 declarations
• HistorySignedResidueFactorizationSquares.lean 4 declarations
• HistorySignedResidueFactorizationStatic.lean 1 declarations
• HistorySignedResidueMainFactors.lean 3 declarations
• HistorySignedResidueWeightedAverages.lean 4 declarations
• HistorySignedResiduesBasic.lean 10 declarations
• HistorySignedResiduesBounds.lean 7 declarations
• HistorySignedResiduesComparisonNorm.lean 4 declarations
• HistorySignedResiduesGuards.lean 4 declarations
• HistorySignedResiduesLift.lean 11 declarations
• HistorySignedResiduesMask.lean 9 declarations
• HistorySignedResiduesModulus.lean 8 declarations
• HistorySignedResiduesModulusActual.lean 4 declarations
• HistorySignedResiduesModulusActualComparison.lean 4 declarations
• HistorySignedResiduesModulusActualDecode.lean 2 declarations
• HistorySignedResiduesModulusActualScales.lean 5 declarations
• HistorySignedResiduesModulusActualSelected.lean 2 declarations
• HistorySignedResiduesModulusActualSources.lean 10 declarations
• HistorySignedResiduesModulusBoundBasic.lean 10 declarations
• HistorySignedResiduesModulusBoundComparison.lean 3 declarations
• HistorySignedResiduesModulusBoundPositive.lean 2 declarations
• HistorySignedResiduesModulusBoundProduct.lean 2 declarations
• HistorySignedResiduesModulusBoundSize.lean 3 declarations
• HistorySignedResiduesModulusCost.lean 5 declarations
• HistorySignedResiduesPrecision.lean 8 declarations
• HistorySignedResiduesSums.lean 2 declarations
• HistorySignedResiduesTest.lean 7 declarations
• HistorySignedResiduesTests.lean 6 declarations
• HistorySignedResiduesXi.lean 3 declarations
• HistorySignedResiduesXiSelected.lean 1 declarations
• HistorySignedResiduesXiSelectedBasic.lean 1 declarations
• HistorySignedSpectatorBasic.lean 11 declarations
• HistorySignedSpectatorBounds.lean 5 declarations
• HistorySignedSpectatorCRT.lean 4 declarations
• HistorySignedSpectatorCRTBasic.lean 3 declarations
• HistorySignedSpectatorCRTResidue.lean 8 declarations
• HistorySignedSpectatorCRTSources.lean 3 declarations
• HistorySignedSpectatorDiagram.lean 2 declarations
• HistorySignedSpectatorDiagramActual.lean 5 declarations
• HistorySignedSpectatorDiagramAlgebra.lean 4 declarations
• HistorySignedSpectatorDiagramAverage.lean 4 declarations
• HistorySignedSpectatorDiagramAverageBasic.lean 7 declarations
• HistorySignedSpectatorDiagramAverageCRT.lean 2 declarations
• HistorySignedSpectatorDiagramAverageLocal.lean 4 declarations
• HistorySignedSpectatorDiagramEvaluation.lean 4 declarations
• HistorySignedSpectatorDiagramPrime.lean 3 declarations
• HistorySignedSpectatorDiagramProduct.lean 3 declarations
• HistorySignedSpectatorDiagramProductBasic.lean 2 declarations
• HistorySignedSpectatorDiagramProductZero.lean 4 declarations
• HistorySignedSpectatorDiagramUnitProduct.lean 3 declarations
• HistorySignedSpectatorPeriodic.lean 5 declarations
• HistorySignedSpectatorSupport.lean 9 declarations
• HistorySignedSupportReduction.lean 7 declarations
• HistorySignedSupportReductionArithmetic.lean 14 declarations
• HistorySignedSupportReductionGuards.lean 10 declarations
• HistorySignedSupportReductionResidue.lean 5 declarations
• HistorySignedSupportReductionShape.lean 2 declarations
• HistorySignedXiTransport.lean 1 declarations
• HistorySignedXiTransportBasic.lean 4 declarations
• HistorySignedXiTransportScalar.lean 3 declarations
• HistorySmoothWeightActualDeriv.lean 3 declarations
• HistorySmoothWeightArchimedean.lean 5 declarations
• HistorySmoothWeightArchimedeanDeriv.lean 2 declarations
• HistorySmoothWeightAtoms.lean 5 declarations
• HistorySmoothWeightBinZero.lean 1 declarations
• HistorySmoothWeightBins.lean 9 declarations
• HistorySmoothWeightBinsDeriv.lean 2 declarations
• HistorySmoothWeightBudget.lean 6 declarations
• HistorySmoothWeightCorrected.lean 5 declarations
• HistorySmoothWeightCounts.lean 6 declarations
• HistorySmoothWeightCutoff.lean 10 declarations
• HistorySmoothWeightCutoffDeriv.lean 3 declarations
• HistorySmoothWeightDepth.lean 11 declarations
• HistorySmoothWeightDerivConstants.lean 9 declarations
• HistorySmoothWeightExponential.lean 8 declarations
• HistorySmoothWeightExpr.lean 7 declarations
• HistorySmoothWeightExprBound.lean 4 declarations
• HistorySmoothWeightExprControl.lean 8 declarations
• HistorySmoothWeightExprDeriv.lean 9 declarations
• HistorySmoothWeightExprFourier.lean 2 declarations
• HistorySmoothWeightExtension.lean 2 declarations
• HistorySmoothWeightFourier.lean 8 declarations
• HistorySmoothWeightLabels.lean 2 declarations
• HistorySmoothWeightLeaf.lean 11 declarations
• HistorySmoothWeightLogBins.lean 4 declarations
• HistorySmoothWeightPairSmooth.lean 4 declarations
• HistorySmoothWeightPeriod.lean 6 declarations
• HistorySmoothWeightPivot.lean 8 declarations
• HistorySmoothWeightPivotRatio.lean 1 declarations
• HistorySmoothWeightPositiveSupport.lean 10 declarations
• HistorySmoothWeightPositiveSupportActual.lean 8 declarations
• HistorySmoothWeightProductDeriv.lean 2 declarations
• HistorySmoothWeightQuantitative.lean 5 declarations
• HistorySmoothWeightRegular.lean 6 declarations
• HistorySmoothWeightRelativeConstants.lean 4 declarations
• HistorySmoothWeightRelativeInduction.lean 3 declarations
• HistorySmoothWeightRelativeNode.lean 2 declarations
• HistorySmoothWeightRelativePivot.lean 2 declarations
• HistorySmoothWeightRootCounterpart.lean 12 declarations
• HistorySmoothWeightScale.lean 5 declarations
• HistorySmoothWeightScaleCenters.lean 2 declarations
• HistorySmoothWeightScaleNumerics.lean 6 declarations
• HistorySmoothWeightSlots.lean 11 declarations
• HistorySmoothWeightSmooth.lean 5 declarations
• HistorySmoothWeightSourceBasic.lean 5 declarations
• HistorySmoothWeightSourceDeriv.lean 2 declarations
• HistorySmoothWeightSourceLeaf.lean 3 declarations
• HistorySmoothWeightSourceTree.lean 2 declarations
• HistorySmoothWeightSourceXi.lean 6 declarations
• HistorySmoothWeightState.lean 7 declarations
• HistorySmoothWeightStateDeriv.lean 1 declarations
• HistorySmoothWeightSupport.lean 6 declarations
• HistorySmoothWeightSupportZero.lean 2 declarations
• HistorySmoothWeightTree.lean 7 declarations
• HistorySmoothWeightTreeDeriv.lean 1 declarations
• HistorySmoothWeightTreeDerivBasic.lean 10 declarations
• HistorySpectatorDenominator.lean 3 declarations
• HistorySpectatorEvaluation.lean 7 declarations
• HistorySupportDescent.lean 3 declarations
• HistorySupportDescentIntegrality.lean 5 declarations
• HistorySupportDescentLists.lean 3 declarations
• HistorySupportDescentTests.lean 3 declarations
• HistorySupportReduction.lean 2 declarations
• HistorySupportReductionBasic.lean 10 declarations
• HistorySupportReductionLocal.lean 2 declarations
• HistorySupportReductionSelected.lean 2 declarations
• HistorySupportReductionSources.lean 1 declarations
• HistorySymbolicCost.lean 14 declarations
• HistorySymbolicEncoding.lean 10 declarations
• HistorySymbolicLinearity.lean 8 declarations
• HistorySymbolicNumerator.lean 11 declarations
• HistorySymbolicRows.lean 10 declarations
• HistorySymbolicScope.lean 13 declarations
• HistorySymbolicSlots.lean 14 declarations
• HistorySymbolicState.lean 9 declarations
• HistorySymbolicStep.lean 9 declarations
• HistoryTreeLeaves.lean 7 declarations
• HistoryTreeParameters.lean 9 declarations
• HistoryUnnormalizedFlagError.lean 4 declarations
• HistoryUnnormalizedFlagErrorBasic.lean 3 declarations
• HistoryUnnormalizedFlagErrorGrowth.lean 2 declarations
• HistoryUnnormalizedFlagErrorSelected.lean 6 declarations
• IdealHistoryNorm.lean 3 declarations
• IdealSmoothHistoryNorm.lean 1 declarations
• IncidenceComponents.lean 14 declarations
• IncidenceHaar.lean 14 declarations
• IndexedBulkCellError.lean 1 declarations
• IndexedBulkDistinctness.lean 2 declarations
• IndexedBulkKernelComparison.lean 3 declarations
• IndexedBulkLogComparison.lean 1 declarations
• IndexedHistoryReconstruction.lean 7 declarations
• IntegerCell.lean 1 import, no declarations
• IntegerCellAbel.lean 2 declarations
• IntegerCellCount.lean 4 declarations
• IntegerCellLog.lean 5 declarations
• IntegerCellReplacement.lean 4 declarations
• IntegerCellSupport.lean 9 declarations
• IntegerCellTests.lean 8 declarations
• IntegerFrequencySplit.lean 2 declarations
• IntegerHistoryReconstruction.lean 14 declarations
• IntegerIntervalVariation.lean 10 declarations
• IntegerResidueSplit.lean 7 declarations
• InternalLineProbability.lean 7 declarations
• InternalPatternWeight.lean 3 declarations
• IntervalArithmeticStep.lean 1 declarations
• JointLineComparison.lean 4 declarations
• JointSampledComparison.lean 1 declarations
• JointSplitProbability.lean 2 declarations
• JointSquareLiftExclusions.lean 3 declarations
• LcmFrequencySum.lean 7 declarations
• LeafFrequencyBudget.lean 3 declarations
• LeafFrequencySupport.lean 2 declarations
• LeafModulusRanges.lean 2 declarations
• LinearReversal.lean 6 declarations
• LogCellPartitionBoundary.lean 5 declarations
• LogCellPartitionBoxes.lean 11 declarations
• LogCellPartitionGrid.lean 21 declarations
• LogCellPartitionIntegerBoundary.lean 6 declarations
• LogCellPartitionIntegers.lean 7 declarations
• LogCellPartitionMesh.lean 7 declarations
• LogCellPartitionMixed.lean 8 declarations
• LogCellPartitionMixedMesh.lean 2 declarations
• LogCellPartitionMixedTuples.lean 2 declarations
• LogCellPartitionPrimes.lean 6 declarations
• LogCellPartitionReplacement.lean 1 declarations
• LogCellPartitionTuples.lean 4 declarations
• MatchedHistoryEnergy.lean 2 declarations
• MatchedPriorCorrelation.lean 5 declarations
• MixedCellGridReplacement.lean 1 declarations
• MixedCellGridReplacementAssigned.lean 3 declarations
• MixedCellGridReplacementBasic.lean 11 declarations
• MixedCellGridReplacementDiscrete.lean 5 declarations
• MixedCellGridReplacementSmooth.lean 2 declarations
• MixedCellIntegralFreezing.lean 7 declarations
• MixedCellIntegralFreezingLog.lean 6 declarations
• MixedCellIntegralFreezingMass.lean 10 declarations
• MixedCellJointReplacementAlgebra.lean 1 declarations
• MixedCellJointReplacementPrior.lean 4 declarations
• MonomialDenominators.lean 3 declarations
• MovingActualLineComparison.lean 1 declarations
• MovingAdaptiveSupport.lean 4 declarations
• MovingAlphabetRestriction.lean 4 declarations
• MovingAmplitudeAlphabet.lean 1 declarations
• MovingAmplitudeCoefficientSupport.lean 6 declarations
• MovingAmplitudeEnergyLogNorm.lean 2 declarations
• MovingAmplitudeFullHarmonicCost.lean 2 declarations
• MovingAmplitudeHarmonicCost.lean 2 declarations
• MovingAmplitudeHarmonicDiagonal.lean 1 declarations
• MovingAmplitudeIndex.lean 3 declarations
• MovingAmplitudeLiveCost.lean 1 declarations
• MovingAmplitudeLiveHarmonic.lean 1 declarations
• MovingAmplitudeLiveStep.lean 1 declarations
• MovingAmplitudeLiveSupport.lean 1 declarations
• MovingAmplitudeLiveSymmetrization.lean 1 declarations
• MovingAmplitudeLiveTransfer.lean 1 declarations
• MovingAmplitudeMaskedEnergy.lean 4 declarations
• MovingAmplitudeNext.lean 5 declarations
• MovingAmplitudeOriginalEnergyNorm.lean 1 declarations
• MovingAmplitudeStep.lean 1 declarations
• MovingAmplitudeSupportedCost.lean 1 declarations
• MovingAmplitudeSupportedFullCost.lean 2 declarations
• MovingAmplitudeSupportedHarmonic.lean 1 declarations
• MovingAmplitudeSupportedStep.lean 1 declarations
• MovingAmplitudeSupportedSymmetrization.lean 1 declarations
• MovingAmplitudeSupportedTransfer.lean 1 declarations
• MovingAmplitudeSymmetrizedCost.lean 2 declarations
• MovingAmplitudeSymmetrizedDiagonal.lean 1 declarations
• MovingAmplitudeSymmetrizedMasked.lean 4 declarations
• MovingAmplitudeSymmetrizedNorm.lean 1 declarations
• MovingAmplitudeTerms.lean 4 declarations
• MovingAmplitudeTransfer.lean 1 declarations
• MovingArithmeticBlocks.lean 7 declarations
• MovingArithmeticCells.lean 6 declarations
• MovingArithmeticModulus.lean 3 declarations
• MovingArithmeticPageDeletion.lean 1 declarations
• MovingArithmeticPrimeComparison.lean 3 declarations
• MovingArithmeticScale.lean 2 declarations
• MovingArithmeticSumRate.lean 4 declarations
• MovingArithmeticSupport.lean 3 declarations
• MovingAuxiliaryCoprime.lean 4 declarations
• MovingAuxiliaryPeriod.lean 6 declarations
• MovingAuxiliaryUnits.lean 11 declarations
• MovingAveragedIntegerNode.lean 3 declarations
• MovingBadDiagonalRate.lean 1 declarations
• MovingBadHarmonicBudget.lean 3 declarations
• MovingBadHarmonicScale.lean 1 declarations
• MovingBulkCoefficient.lean 3 declarations
• MovingBulkFrames.lean 4 declarations
• MovingBulkLogFactors.lean 7 declarations
• MovingBulkLogProductLower.lean 4 declarations
• MovingBulkLogTrees.lean 6 declarations
• MovingBulkLogVariation.lean 1 declarations
• MovingBulkLogWeight.lean 7 declarations
• MovingBulkNodup.lean 1 declarations
• MovingBulkOriginalCoefficient.lean 4 declarations
• MovingBulkPageBound.lean 2 declarations
• MovingBulkPairedCutoffs.lean 7 declarations
• MovingBulkPairedLogWeight.lean 2 declarations
• MovingBulkPreorder.lean 5 declarations
• MovingBulkRecursiveWeight.lean 3 declarations
• MovingBulkSupport.lean 1 declarations
• MovingCanonicalComparison.lean 4 declarations
• MovingCanonicalWeights.lean 5 declarations
• MovingCellChoice.lean 4 declarations
• MovingCellGap.lean 4 declarations
• MovingChildListSupport.lean 3 declarations
• MovingClearedRows.lean 3 declarations
• MovingCoefficientSupport.lean 3 declarations
• MovingCompactEnergy.lean 2 declarations
• MovingCompactLeaf.lean 8 declarations
• MovingCompensatedEquations.lean 4 declarations
• MovingCompensationFrequency.lean 2 declarations
• MovingCompensationGapList.lean 6 declarations
• MovingCompensationGeometry.lean 2 declarations
• MovingCompensationLines.lean 5 declarations
• MovingCompensationProductBounds.lean 2 declarations
• MovingCompensationSupport.lean 7 declarations
• MovingCompensationTargets.lean 8 declarations
• MovingCompensationWeight.lean 7 declarations
• MovingCompleteCells.lean 3 declarations
• MovingCompleteIntegerCells.lean 1 declarations
• MovingConstructedLiveProductStep.lean 1 declarations
• MovingConstructedProductStep.lean 1 declarations
• MovingCoprimeDescent.lean 6 declarations
• MovingCoprimePeriods.lean 4 declarations
• MovingCutoffPolynomials.lean 9 declarations
• MovingCutoffReserve.lean 4 declarations
• MovingDenominators.lean 3 declarations
• MovingDerivedLiveProductStep.lean 1 declarations
• MovingDerivedProductStep.lean 1 declarations
• MovingDiagonalEnergy.lean 7 declarations
• MovingDiagonalEnergyPatterns.lean 1 declarations
• MovingDiagonalEnergyRate.lean 1 declarations
• MovingDiagonalErrorBudget.lean 3 declarations
• MovingDiagonalIntegralScale.lean 2 declarations
• MovingDiagonalLiveSupport.lean 3 declarations
• MovingDiagonalNumericalRate.lean 2 declarations
• MovingDiagonalOuterWeight.lean 9 declarations
• MovingDirectRecursion.lean 1 declarations
• MovingDominatedLineComparison.lean 1 declarations
• MovingEarlyCellCaps.lean 5 declarations
• MovingEarlyTemplateCaps.lean 2 declarations
• MovingFieldBulkComparison.lean 1 declarations
• MovingFieldDiagram.lean 2 declarations
• MovingFieldGiant.lean 2 declarations
• MovingFieldSpectator.lean 2 declarations
• MovingFieldUnitAverage.lean 2 declarations
• MovingFinalGap.lean 2 declarations
• MovingFinalRate.lean 3 declarations
• MovingFirstExtendedWindows.lean 1 declarations
• MovingFirstNodeWindows.lean 3 declarations
• MovingFirstProductBound.lean 2 declarations
• MovingFormulaNodes.lean 4 declarations
• MovingFourierBudget.lean 2 declarations
• MovingFourierFactor.lean 6 declarations
• MovingFourierPolynomials.lean 8 declarations
• MovingFourierSupported.lean 3 declarations
• MovingFourierVariation.lean 4 declarations
• MovingFrequencyBudget.lean 8 declarations
• MovingFrequencyCoefficient.lean 10 declarations
• MovingFrequencyEnergy.lean 6 declarations
• MovingFrequencyFormulaGate.lean 5 declarations
• MovingFrequencyModelPage.lean 1 declarations
• MovingFrequencyModelRange.lean 1 declarations
• MovingFrequencyModulus.lean 8 declarations
• MovingFrequencyPrimeSquare.lean 3 declarations
• MovingFrequencyRateMonotone.lean 2 declarations
• MovingFrequencyResidues.lean 13 declarations
• MovingFullCoefficientTransfer.lean 1 declarations
• MovingFullFourier.lean 1 declarations
• MovingFullHarmonicCost.lean 2 declarations
• MovingFullLiveTransformTransfer.lean 1 declarations
• MovingFullModulus.lean 6 declarations
• MovingFullModulusScale.lean 5 declarations
• MovingFullPageDeletion.lean 6 declarations
• MovingFullPair.lean 4 declarations
• MovingFullResidues.lean 5 declarations
• MovingFullSmooth.lean 2 declarations
• MovingFullSpectator.lean 1 declarations
• MovingFullSupport.lean 8 declarations
• MovingFullSupportedTransformTransfer.lean 1 declarations
• MovingFullTransformTransfer.lean 2 declarations
• MovingGiantAmbientAmplitude.lean 2 declarations
• MovingGiantAncestorValues.lean 4 declarations
• MovingGiantArchimedean.lean 11 declarations
• MovingGiantFormulas.lean 4 declarations
• MovingGiantPhase.lean 4 declarations
• MovingGiantPolynomial.lean 14 declarations
• MovingGiantRows.lean 15 declarations
• MovingGiantSamples.lean 15 declarations
• MovingGiantSpectator.lean 2 declarations
• MovingGiantSupportedTransfer.lean 1 declarations
• MovingGiantTransfer.lean 1 declarations
• MovingGiantTree.lean 10 declarations
• MovingGroupedBulkAverage.lean 2 declarations
• MovingGuardedDirectRecursion.lean 2 declarations
• MovingGuardedRow.lean 3 declarations
• MovingHarmonicCounterpart.lean 1 declarations
• MovingHarmonicDiagonal.lean 1 declarations
• MovingHarmonicGroupedEnergy.lean 1 declarations
• MovingHarmonicKeyMass.lean 1 declarations
• MovingHarmonicMassBudget.lean 3 declarations
• MovingHarmonicProductFiber.lean 3 declarations
• MovingHarmonicScale.lean 1 declarations
• MovingHarmonicSupport.lean 5 declarations
• MovingHistoryUniqueness.lean 2 declarations
• MovingIndexedCellLower.lean 3 declarations
• MovingIndexedLineSystem.lean 11 declarations
• MovingIndexedProbability.lean 3 declarations
• MovingInitialCoefficient.lean 6 declarations
• MovingInitialDiagonalAll.lean 1 declarations
• MovingInitialDiagonalUniform.lean 1 declarations
• MovingIntegerCells.lean 4 declarations
• MovingIntegerKernelRate.lean 2 declarations
• MovingIntegerPairRate.lean 2 declarations
• MovingIntegerRanges.lean 2 declarations
• MovingIntegralFrequencySplit.lean 8 declarations
• MovingInternalAverageError.lean 3 declarations
• MovingInternalBaseAverage.lean 3 declarations
• MovingInternalErrorRate.lean 4 declarations
• MovingInternalFiber.lean 2 declarations
• MovingInternalHaarError.lean 2 declarations
• MovingInternalLocalFactor.lean 4 declarations
• MovingInternalProbabilityError.lean 3 declarations
• MovingInternalProductError.lean 6 declarations
• MovingJointGiantRate.lean 1 declarations
• MovingJointMixedPairRate.lean 1 declarations
• MovingJointMixedRate.lean 1 declarations
• MovingJointPairRate.lean 2 declarations
• MovingJointSquareLoss.lean 1 declarations
• MovingKernelPair.lean 7 declarations
• MovingKernelPairRates.lean 3 declarations
• MovingKernelPairTransport.lean 2 declarations
• MovingKernelRates.lean 3 declarations
• MovingKernelSlices.lean 3 declarations
• MovingKernelTransport.lean 3 declarations
• MovingLeafAmplitude.lean 4 declarations
• MovingLeafPermutation.lean 3 declarations
• MovingLineComparison.lean 1 declarations
• MovingLineComposition.lean 7 declarations
• MovingLineIntegration.lean 5 declarations
• MovingLineProductComparison.lean 1 declarations
• MovingLivePrimeDivisors.lean 2 declarations
• MovingLogLeaves.lean 5 declarations
• MovingLogPrimeAverage.lean 2 declarations
• MovingMaskedBulkAction.lean 2 declarations
• MovingMaskedEnergyIntegral.lean 2 declarations
• MovingMaskedMultiplierReindex.lean 1 declarations
• MovingMaskedOriginalIntegral.lean 1 declarations
• MovingMaskedTemplateEnergy.lean 8 declarations
• MovingMatchedCorrelationPatterns.lean 1 declarations
• MovingMatchedCorrelationRate.lean 1 declarations
• MovingMatchedExteriorWeight.lean 1 declarations
• MovingMatchedRegularProduct.lean 1 declarations
• MovingMixedResidueRate.lean 1 declarations
• MovingModularSpectator.lean 7 declarations
• MovingModulusAssembly.lean 1 declarations
• MovingNodeCoefficientSupport.lean 5 declarations
• MovingNodeCutoffFactor.lean 5 declarations
• MovingNodeDivisibility.lean 2 declarations
• MovingNodeGuards.lean 4 declarations
• MovingNodeUnits.lean 5 declarations
• MovingNormalizedEnergyBound.lean 1 declarations
• MovingNormalizedFinalRate.lean 2 declarations
• MovingNormalizedMaskedEnergy.lean 1 declarations
• MovingNormalizedStatistic.lean 3 declarations
• MovingNormalizedSymmetrizedEnergy.lean 3 declarations
• MovingOccurrenceIntegrality.lean 4 declarations
• MovingOccurrenceNumerator.lean 2 declarations
• MovingOccurrenceRelabel.lean 7 declarations
• MovingOccurrenceSquares.lean 6 declarations
• MovingOccurrenceUnits.lean 7 declarations
• MovingOneGiant.lean 9 declarations
• MovingOneGiantDiagonal.lean 4 declarations
• MovingOriginalBulkAction.lean 5 declarations
• MovingOriginalDiagonalEnergy.lean 4 declarations
• MovingOriginalDiagonalMean.lean 4 declarations
• MovingOriginalDiagonalPatterns.lean 3 declarations
• MovingOriginalEnergyBound.lean 1 declarations
• MovingOriginalEnergyPatterns.lean 1 declarations
• MovingOriginalEnergyRate.lean 1 declarations
• MovingOriginalGiantComparison.lean 2 declarations
• MovingOriginalGiantWeight.lean 2 declarations
• MovingOriginalLeafMultiplier.lean 2 declarations
• MovingOriginalLogCoefficientPair.lean 1 declarations
• MovingOriginalLogGiantWeight.lean 2 declarations
• MovingOriginalMatchedCorrelation.lean 3 declarations
• MovingOriginalMatchedMean.lean 3 declarations
• MovingOriginalMatchedPatterns.lean 2 declarations
• MovingOriginalPair.lean 2 declarations
• MovingOriginalPairedFactor.lean 1 declarations
• MovingOriginalPatternMean.lean 4 declarations
• MovingOriginalPatternSum.lean 4 declarations
• MovingOriginalPhaseStatistic.lean 2 declarations
• MovingOriginalPhaseStatisticBound.lean 1 declarations
• MovingOriginalPrimeExpansion.lean 2 declarations
• MovingOriginalPrimeStatistic.lean 2 declarations
• MovingOriginalPrimeStatisticBound.lean 1 declarations
• MovingOriginalSampleExpansion.lean 7 declarations
• MovingOriginalStatistic.lean 4 declarations
• MovingOriginalStatisticBound.lean 1 declarations
• MovingOriginalSymmetrization.lean 2 declarations
• MovingOriginalWeightRelabel.lean 12 declarations
• MovingOuterCoprimeComparison.lean 2 declarations
• MovingOuterHaarComparison.lean 2 declarations
• MovingOuterIntegerRate.lean 1 declarations
• MovingOuterJointComparison.lean 3 declarations
• MovingOuterKernel.lean 7 declarations
• MovingOuterKernelRates.lean 2 declarations
• MovingOuterNormBudget.lean 1 declarations
• MovingOuterResidueComparison.lean 2 declarations
• MovingOuterSlices.lean 5 declarations
• MovingOuterVariationScale.lean 2 declarations
• MovingOutsideResidues.lean 10 declarations
• MovingPairAdaptiveSupport.lean 3 declarations
• MovingPairCoprimeComparison.lean 2 declarations
• MovingPairHaarComparison.lean 2 declarations
• MovingPairNormBudget.lean 1 declarations
• MovingPairSquareLoss.lean 3 declarations
• MovingPairedLogSlots.lean 3 declarations
• MovingPairedMixedResidueRate.lean 1 declarations
• MovingPairedPrimeResidueRate.lean 2 declarations
• MovingPairedTransform.lean 3 declarations
• MovingPairwiseSupport.lean 9 declarations
• MovingPatternActualLines.lean 2 declarations
• MovingPatternArithmeticComparison.lean 5 declarations
• MovingPatternArithmeticData.lean 3 declarations
• MovingPatternAveragedSquare.lean 2 declarations
• MovingPatternBadEventRate.lean 2 declarations
• MovingPatternBulkArithmetic.lean 2 declarations
• MovingPatternBulkBudgets.lean 7 declarations
• MovingPatternBulkData.lean 11 declarations
• MovingPatternBulkFrozen.lean 5 declarations
• MovingPatternBulkFubini.lean 5 declarations
• MovingPatternBulkIdentity.lean 1 declarations
• MovingPatternBulkKernel.lean 1 declarations
• MovingPatternBulkLog.lean 6 declarations
• MovingPatternBulkMajorant.lean 2 declarations
• MovingPatternBulkMean.lean 6 declarations
• MovingPatternBulkMultiplier.lean 1 declarations
• MovingPatternCellError.lean 2 declarations
• MovingPatternCoefficientMass.lean 4 declarations
• MovingPatternCostRate.lean 2 declarations
• MovingPatternDiagonalArithmetic.lean 1 declarations
• MovingPatternDiagonalConditions.lean 1 declarations
• MovingPatternDiagonalHaarComparison.lean 1 declarations
• MovingPatternDiagonalIdealRate.lean 1 declarations
• MovingPatternDiagonalMaskedPriors.lean 1 declarations
• MovingPatternDiagonalMaskedShell.lean 1 declarations
• MovingPatternDiagonalObservable.lean 1 declarations
• MovingPatternDiagonalPrimeRanges.lean 1 declarations
• MovingPatternDiagonalProduct.lean 1 declarations
• MovingPatternDiagonalSelectedPriors.lean 1 declarations
• MovingPatternDiagonalSharp.lean 1 declarations
• MovingPatternDiagonalWholeShell.lean 1 declarations
• MovingPatternEnumeration.lean 1 declarations
• MovingPatternExternalPrior.lean 2 declarations
• MovingPatternFinite.lean 5 declarations
• MovingPatternFlagBound.lean 2 declarations
• MovingPatternFrequencyModulus.lean 3 declarations
• MovingPatternFrozenMultiplier.lean 5 declarations
• MovingPatternFrozenNorm.lean 1 declarations
• MovingPatternGiantBounds.lean 7 declarations
• MovingPatternGiantConditions.lean 1 declarations
• MovingPatternGiantErrorRate.lean 1 declarations
• MovingPatternGiantSupport.lean 3 declarations
• MovingPatternGiantVariation.lean 4 declarations
• MovingPatternGoodArithmetic.lean 1 declarations
• MovingPatternGoodIdealIntegral.lean 1 declarations
• MovingPatternGoodMaskedPriors.lean 1 declarations
• MovingPatternGoodMaskedShell.lean 1 declarations
• MovingPatternGoodSelectedPriors.lean 1 declarations
• MovingPatternGoodSharp.lean 1 declarations
• MovingPatternGoodWholeShell.lean 1 declarations
• MovingPatternHalfLogCellError.lean 1 declarations
• MovingPatternHalfLogGoodArithmetic.lean 1 declarations
• MovingPatternHalfLogGoodIdealIntegral.lean 1 declarations
• MovingPatternHalfLogGoodMaskedPriors.lean 1 declarations
• MovingPatternHalfLogGoodMaskedShell.lean 1 declarations
• MovingPatternHalfLogGoodSharp.lean 1 declarations
• MovingPatternHalfLogKernelCost.lean 1 declarations
• MovingPatternHalfLogTwoPrimeInitialNormRate.lean 1 declarations
• MovingPatternHalfLogTwoPrimeIntegratedRate.lean 1 declarations
• MovingPatternHalfLogTwoPrimeNormRate.lean 1 declarations
• MovingPatternHalfLogTwoPrimeOriginalNormArithmetic.lean 1 declarations
• MovingPatternHalfLogTwoPrimeSameNormArithmetic.lean 1 declarations
• MovingPatternHalfLogTwoPrimeSelectedNormRate.lean 1 declarations
• MovingPatternHalfLogWindowArithmetic.lean 1 declarations
• MovingPatternHalfLogWindowInitialRate.lean 1 declarations
• MovingPatternHalfLogWindowIntegral.lean 1 declarations
• MovingPatternHalfLogWindowPrimeRate.lean 1 declarations
• MovingPatternHalfLogWindowSelectedRate.lean 1 declarations
• MovingPatternHarmonicIntegral.lean 1 declarations
• MovingPatternInitialNormRate.lean 1 declarations
• MovingPatternInitialRate.lean 1 declarations
• MovingPatternIntegrand.lean 4 declarations
• MovingPatternInternalError.lean 1 declarations
• MovingPatternKernelCost.lean 5 declarations
• MovingPatternKernelGain.lean 2 declarations
• MovingPatternKernelNorm.lean 2 declarations
• MovingPatternKernelNormBound.lean 1 declarations
• MovingPatternLineComparison.lean 1 declarations
• MovingPatternLines.lean 1 declarations
• MovingPatternLogCellError.lean 1 declarations
• MovingPatternLogGoodArithmetic.lean 1 declarations
• MovingPatternLogGoodIdealIntegral.lean 1 declarations
• MovingPatternLogGoodMaskedPriors.lean 1 declarations
• MovingPatternLogGoodMaskedShell.lean 1 declarations
• MovingPatternLogGoodSharp.lean 1 declarations
• MovingPatternLogIntegrand.lean 6 declarations
• MovingPatternLogKernelCost.lean 1 declarations
• MovingPatternLogKernelNormBound.lean 1 declarations
• MovingPatternLogLeafBridge.lean 2 declarations
• MovingPatternLogMixedPrimeSignedBound.lean 1 declarations
• MovingPatternLogPrimeBulk.lean 2 declarations
• MovingPatternLogPrimeMeasurable.lean 1 declarations
• MovingPatternLogPrimeNorm.lean 1 declarations
• MovingPatternLogPrimeObservable.lean 4 declarations
• MovingPatternLogPrimeObservableCost.lean 1 declarations
• MovingPatternLogSeparatedBound.lean 1 declarations
• MovingPatternLogTwoPrimeBulk.lean 2 declarations
• MovingPatternLogTwoPrimeInitialNormRate.lean 1 declarations
• MovingPatternLogTwoPrimeIntegratedRate.lean 1 declarations
• MovingPatternLogTwoPrimeMeasurable.lean 1 declarations
• MovingPatternLogTwoPrimeNorm.lean 1 declarations
• MovingPatternLogTwoPrimeNormBound.lean 1 declarations
• MovingPatternLogTwoPrimeNormRate.lean 1 declarations
• MovingPatternLogTwoPrimeObservable.lean 4 declarations
• MovingPatternLogTwoPrimeObservableCost.lean 1 declarations
• MovingPatternLogTwoPrimeOriginalNormArithmetic.lean 1 declarations
• MovingPatternLogTwoPrimeSameNormArithmetic.lean 1 declarations
• MovingPatternLogTwoPrimeSelectedNormRate.lean 1 declarations
• MovingPatternLogWindowArithmetic.lean 1 declarations
• MovingPatternLogWindowInitialRate.lean 1 declarations
• MovingPatternLogWindowIntegral.lean 1 declarations
• MovingPatternLogWindowPrimeRate.lean 1 declarations
• MovingPatternLogWindowSelectedRate.lean 1 declarations
• MovingPatternMainGain.lean 1 declarations
• MovingPatternMatchedConditions.lean 1 declarations
• MovingPatternMatchedHaarComparison.lean 1 declarations
• MovingPatternMatchedObservable.lean 1 declarations
• MovingPatternMatchedPrimeRanges.lean 1 declarations
• MovingPatternMatchedProduct.lean 1 declarations
• MovingPatternMixedCRT.lean 2 declarations
• MovingPatternMixedHarmonicIntegral.lean 1 declarations
• MovingPatternMixedIntegralCRT.lean 2 declarations
• MovingPatternMixedIntegratedRate.lean 1 declarations
• MovingPatternMixedMeasurable.lean 1 declarations
• MovingPatternMixedNormalizedNorm.lean 6 declarations
• MovingPatternMixedOriginalNormArithmetic.lean 1 declarations
• MovingPatternMixedPrimeInitialNormRate.lean 1 declarations
• MovingPatternMixedPrimeNormBound.lean 1 declarations
• MovingPatternMixedPrimeNormRate.lean 1 declarations
• MovingPatternMixedPrimeSelectedNormRate.lean 1 declarations
• MovingPatternMixedPrimeSignedBound.lean 1 declarations
• MovingPatternMixedSameNormArithmetic.lean 1 declarations
• MovingPatternModulusRange.lean 4 declarations
• MovingPatternNormKernel.lean 1 declarations
• MovingPatternNormalizedNorm.lean 1 declarations
• MovingPatternObservableCost.lean 2 declarations
• MovingPatternOriginalArithmetic.lean 1 declarations
• MovingPatternOriginalDiagonalNorm.lean 1 declarations
• MovingPatternOriginalIntegralNorm.lean 1 declarations
• MovingPatternOriginalMatchedNorm.lean 1 declarations
• MovingPatternOriginalNormArithmetic.lean 1 declarations
• MovingPatternOriginalPrimeArithmetic.lean 1 declarations
• MovingPatternOriginalPrimeNorm.lean 1 declarations
• MovingPatternOriginalPrimeRanges.lean 1 declarations
• MovingPatternOriginalPrimeSharp.lean 1 declarations
• MovingPatternPermutedProduct.lean 2 declarations
• MovingPatternPrimeBound.lean 1 declarations
• MovingPatternPrimeBulk.lean 2 declarations
• MovingPatternPrimeBulkArithmetic.lean 2 declarations
• MovingPatternPrimeCRT.lean 2 declarations
• MovingPatternPrimeFrozenNorm.lean 1 declarations
• MovingPatternPrimeGain.lean 1 declarations
• MovingPatternPrimeHaarComparison.lean 1 declarations
• MovingPatternPrimeIntegralBridge.lean 2 declarations
• MovingPatternPrimeNorm.lean 1 declarations
• MovingPatternPrimeNormBound.lean 1 declarations
• MovingPatternPrimeNormBudget.lean 1 declarations
• MovingPatternPrimeNormRate.lean 1 declarations
• MovingPatternPrimeNormalizedNorm.lean 1 declarations
• MovingPatternPrimeObservable.lean 3 declarations
• MovingPatternPrimeRate.lean 1 declarations
• MovingPatternPrimeRelabel.lean 3 declarations
• MovingPatternPrimeSelectedPriors.lean 1 declarations
• MovingPatternPrimeSupport.lean 6 declarations
• MovingPatternPrimeWholeShell.lean 1 declarations
• MovingPatternPriorArithmetic.lean 2 declarations
• MovingPatternPriorRanges.lean 5 declarations
• MovingPatternPriorSupport.lean 3 declarations
• MovingPatternRegularSupport.lean 7 declarations
• MovingPatternRegularUnits.lean 3 declarations
• MovingPatternSameNormArithmetic.lean 1 declarations
• MovingPatternSelectedNormRate.lean 1 declarations
• MovingPatternSelectedRate.lean 1 declarations
• MovingPatternSeparatedBound.lean 1 declarations
• MovingPatternSeparatedConditions.lean 1 declarations
• MovingPatternSignedArithmetic.lean 1 declarations
• MovingPatternSignedMajorant.lean 1 declarations
• MovingPatternSignedSum.lean 1 declarations
• MovingPatternSpectatorGain.lean 1 declarations
• MovingPatternSpectatorUnits.lean 4 declarations
• MovingPatternSquareError.lean 2 declarations
• MovingPatternSumCoordinates.lean 3 declarations
• MovingPatternSupportedArithmetic.lean 1 declarations
• MovingPatternSupportedMean.lean 1 declarations
• MovingPatternTemplateEnumeration.lean 4 declarations
• MovingPatternTree.lean 7 declarations
• MovingPatternTwoPrimeBulk.lean 2 declarations
• MovingPatternTwoPrimeBulkIdentity.lean 1 declarations
• MovingPatternTwoPrimeInitialNormRate.lean 1 declarations
• MovingPatternTwoPrimeIntegratedRate.lean 1 declarations
• MovingPatternTwoPrimeMeasurable.lean 1 declarations
• MovingPatternTwoPrimeNorm.lean 1 declarations
• MovingPatternTwoPrimeNormBound.lean 1 declarations
• MovingPatternTwoPrimeNormRate.lean 1 declarations
• MovingPatternTwoPrimeObservable.lean 3 declarations
• MovingPatternTwoPrimeObservableCost.lean 1 declarations
• MovingPatternTwoPrimeOriginalNormArithmetic.lean 1 declarations
• MovingPatternTwoPrimeSameNormArithmetic.lean 1 declarations
• MovingPatternTwoPrimeSelectedNormRate.lean 1 declarations
• MovingPatternUniformBudget.lean 4 declarations
• MovingPatternWeightedMatchedNorm.lean 1 declarations
• MovingPatternWeightedMatchedRanges.lean 1 declarations
• MovingPatternWholeShellArithmetic.lean 1 declarations
• MovingPatternWindowArithmeticRate.lean 1 declarations
• MovingPatternWindowGain.lean 1 declarations
• MovingPatternWindowInitialRate.lean 1 declarations
• MovingPatternWindowPrimeGain.lean 1 declarations
• MovingPatternWindowPrimeRate.lean 1 declarations
• MovingPatternWindowSelectedRate.lean 1 declarations
• MovingPatternWindowWeightedArithmetic.lean 1 declarations
• MovingPatternWindowWeightedIntegral.lean 1 declarations
• MovingPatternWindowWeightedWholeShell.lean 1 declarations
• MovingPatternWindowWholeShellArithmetic.lean 1 declarations
• MovingPatternWordArithmetic.lean 1 declarations
• MovingPatternWordCellRate.lean 1 declarations
• MovingPeriodBound.lean 7 declarations
• MovingPeriodScale.lean 3 declarations
• MovingPivotDerivative.lean 5 declarations
• MovingPolynomialRelabel.lean 7 declarations
• MovingPrimeActualLineComparison.lean 1 declarations
• MovingPrimeArithmeticTransfer.lean 2 declarations
• MovingPrimeAverages.lean 7 declarations
• MovingPrimeBaseAverage.lean 2 declarations
• MovingPrimeBulkSupport.lean 7 declarations
• MovingPrimeCoefficientNode.lean 2 declarations
• MovingPrimeDominatedLineComparison.lean 1 declarations
• MovingPrimeFrequencyAverage.lean 4 declarations
• MovingPrimeHaarError.lean 2 declarations
• MovingPrimeIndexedProbability.lean 6 declarations
• MovingPrimeInternalNorm.lean 4 declarations
• MovingPrimeInternalProduct.lean 4 declarations
• MovingPrimeLineGate.lean 6 declarations
• MovingPrimeNodeFactor.lean 5 declarations
• MovingPrimeNodeSubstitution.lean 3 declarations
• MovingPrimeNodeTransfer.lean 1 declarations
• MovingPrimeOccurrences.lean 7 declarations
• MovingPrimeOffDiagonalCoefficient.lean 2 declarations
• MovingPrimePageCRT.lean 4 declarations
• MovingPrimePatternArithmeticComparison.lean 1 declarations
• MovingPrimePatternBulkFubini.lean 3 declarations
• MovingPrimePatternBulkMajorant.lean 2 declarations
• MovingPrimePatternBulkMean.lean 3 declarations
• MovingPrimePatternFlagBound.lean 2 declarations
• MovingPrimePatternFrozenMultiplier.lean 4 declarations
• MovingPrimePatternLineComparison.lean 1 declarations
• MovingPrimePatternPriorSupport.lean 1 declarations
• MovingPrimePatternProducts.lean 3 declarations
• MovingPrimePatternSquareError.lean 2 declarations
• MovingPrimePatternSupportedArithmetic.lean 1 declarations
• MovingPrimePatternSupportedMean.lean 1 declarations
• MovingPrimePointwiseNorm.lean 7 declarations
• MovingPrimeProbabilityError.lean 3 declarations
• MovingPrimeResidueRate.lean 1 declarations
• MovingPrimeRootGuard.lean 4 declarations
• MovingPrimeRowNorm.lean 6 declarations
• MovingPrimeRowTransfer.lean 1 declarations
• MovingPrimeSquareBudget.lean 3 declarations
• MovingProductFrequency.lean 6 declarations
• MovingProductGapBudget.lean 6 declarations
• MovingProductInitialCutoff.lean 5 declarations
• MovingProductPoissonCutoff.lean 3 declarations
• MovingProductPrescribedCutoff.lean 4 declarations
• MovingProductRigidity.lean 4 declarations
• MovingProductRounding.lean 6 declarations
• MovingProtectedTarget.lean 4 declarations
• MovingRealCells.lean 12 declarations
• MovingRealKernel.lean 13 declarations
• MovingRealResidues.lean 16 declarations
• MovingRealSmooth.lean 9 declarations
• MovingRealWeight.lean 6 declarations
• MovingRealWindows.lean 5 declarations
• MovingRecursiveCompensation.lean 7 declarations
• MovingRecursiveProductBounds.lean 5 declarations
• MovingRecursiveSupport.lean 14 declarations
• MovingRecursiveTemplateCaps.lean 3 declarations
• MovingReducedCRT.lean 4 declarations
• MovingReducedCoefficient.lean 3 declarations
• MovingReducedDiagonalComparison.lean 1 declarations
• MovingReducedDiagonalRate.lean 1 declarations
• MovingReducedModulus.lean 7 declarations
• MovingReducedModulusFactor.lean 1 declarations
• MovingReducedNorm.lean 2 declarations
• MovingReducedOuterComparison.lean 2 declarations
• MovingReducedOuterFactor.lean 3 declarations
• MovingReducedPageAverage.lean 1 declarations
• MovingReducedPair.lean 1 declarations
• MovingReducedSupport.lean 5 declarations
• MovingReducedWeight.lean 1 declarations
• MovingRegularCollisionSupport.lean 3 declarations
• MovingRegularCoprime.lean 3 declarations
• MovingRegularDiagonal.lean 6 declarations
• MovingRegularLiveOffDiagonal.lean 1 declarations
• MovingRegularMultiplierIdentity.lean 4 declarations
• MovingRegularOffDiagonal.lean 2 declarations
• MovingRegularOuterComparison.lean 2 declarations
• MovingRegularOuterFactor.lean 1 declarations
• MovingRegularResidues.lean 3 declarations
• MovingRegularSlots.lean 5 declarations
• MovingRegularTemplate.lean 9 declarations
• MovingRegularTransfer.lean 8 declarations
• MovingRegularTransformCongruence.lean 3 declarations
• MovingRepresentativeLineSystem.lean 4 declarations
• MovingRepresentativeSquares.lean 3 declarations
• MovingResidueFactorization.lean 5 declarations
• MovingResidueTests.lean 11 declarations
• MovingRestoredEnergy.lean 3 declarations
• MovingRestoredHarmonicCost.lean 1 declarations
• MovingRestoredLogProduct.lean 1 declarations
• MovingRestoredMultiplier.lean 8 declarations
• MovingRestoredPrimeLaws.lean 8 declarations
• MovingRestoredTierSeparation.lean 4 declarations
• MovingRootBudget.lean 3 declarations
• MovingRootReconstruction.lean 6 declarations
• MovingRootedSum.lean 4 declarations
• MovingRoundedCellSums.lean 7 declarations
• MovingSampleCoordinateLevels.lean 4 declarations
• MovingSampleCoordinates.lean 9 declarations
• MovingSampleDiagonalExpansion.lean 3 declarations
• MovingSampleDiagonalRate.lean 1 declarations
• MovingSampleIntegrality.lean 3 declarations
• MovingSampleMap.lean 7 declarations
• MovingSampleModulusRange.lean 4 declarations
• MovingSampleOccurrence.lean 4 declarations
• MovingSamplePairExpansion.lean 7 declarations
• MovingSamplePairPatterns.lean 7 declarations
• MovingSamplePatternBudget.lean 5 declarations
• MovingSamplePeriod.lean 4 declarations
• MovingSamplePrimeExpansion.lean 5 declarations
• MovingSamplePrior.lean 11 declarations
• MovingSampleSizes.lean 8 declarations
• MovingSampleSlots.lean 9 declarations
• MovingSampleSpectator.lean 2 declarations
• MovingSampleValues.lean 8 declarations
• MovingSampledIndexedProbability.lean 2 declarations
• MovingSampledRecursion.lean 10 declarations
• MovingScalarWindows.lean 5 declarations
• MovingScheduledLeafCongruence.lean 3 declarations
• MovingSelectedAmplitudeEnergy.lean 1 declarations
• MovingSelectedDiagonalDecay.lean 1 declarations
• MovingSelectedDiagonalEnergy.lean 1 declarations
• MovingSelectedEarlyDiagonalDecay.lean 1 declarations
• MovingSelectedEarlyLogDiagonal.lean 1 declarations
• MovingSelectedFullEnergy.lean 1 declarations
• MovingSelectedGoodCorrelation.lean 1 declarations
• MovingSelectedInitialAmplitudeEnergy.lean 1 declarations
• MovingSelectedInitialContradiction.lean 1 declarations
• MovingSelectedInitialDiagonal.lean 1 declarations
• MovingSelectedInitialDiagonalDecay.lean 1 declarations
• MovingSelectedInitialEarlyDecay.lean 1 declarations
• MovingSelectedInitialEarlyDiagonal.lean 1 declarations
• MovingSelectedInitialFinalStatistic.lean 1 declarations
• MovingSelectedInitialFullEnergy.lean 1 declarations
• MovingSelectedInitialSymmetrization.lean 1 declarations
• MovingSelectedLogAmplitudeEnergy.lean 1 declarations
• MovingSelectedLogDiagonal.lean 1 declarations
• MovingSelectedPhaseStatistic.lean 1 declarations
• MovingSelectedPrimeEnergy.lean 1 declarations
• MovingSelectedPrimeStatistic.lean 1 declarations
• MovingSelectedStatistic.lean 1 declarations
• MovingSelectedSymmetrization.lean 1 declarations
• MovingSelectedTemplateEnergy.lean 1 declarations
• MovingSelectedTemplateHalfLogGood.lean 1 declarations
• MovingSelectedTemplateLogFullEnergy.lean 1 declarations
• MovingSelectedTemplateLogGood.lean 1 declarations
• MovingSelectedTemplateLogSymmetrization.lean 1 declarations
• MovingSeparatedAverageNorm.lean 4 declarations
• MovingSeparatedAverages.lean 5 declarations
• MovingSeparatedCRT.lean 2 declarations
• MovingSeparatedCoefficient.lean 4 declarations
• MovingSeparatedDiagonalComparison.lean 1 declarations
• MovingSeparatedDiagonalRate.lean 1 declarations
• MovingSeparatedModulusRange.lean 3 declarations
• MovingSeparatedNorm.lean 2 declarations
• MovingSeparatedOuterComparison.lean 2 declarations
• MovingSeparatedOuterFactor.lean 1 declarations
• MovingSeparatedPageCRT.lean 3 declarations
• MovingSeparatedPageDeletion.lean 3 declarations
• MovingSeparatedPair.lean 3 declarations
• MovingSeparatedPeriod.lean 3 declarations
• MovingSeparatedProduct.lean 4 declarations
• MovingSeparatedRegularFactor.lean 1 declarations
• MovingSeparatedRegularNorm.lean 1 declarations
• MovingSeparatedSupportedPair.lean 2 declarations
• MovingSeparatedWeight.lean 2 declarations
• MovingSignedFormulas.lean 5 declarations
• MovingSignedSpectator.lean 9 declarations
• MovingSignedUnits.lean 10 declarations
• MovingSlotLines.lean 5 declarations
• MovingSlotOccurrences.lean 10 declarations
• MovingSlotPolynomials.lean 18 declarations
• MovingSlotRealization.lean 10 declarations
• MovingSlotRelabel.lean 10 declarations
• MovingSlotSpectator.lean 3 declarations
• MovingSlotStateRelabel.lean 14 declarations
• MovingSlotSystem.lean 11 declarations
• MovingSmallFrequencyUnits.lean 4 declarations
• MovingSmallProductLower.lean 3 declarations
• MovingSmoothPolynomials.lean 4 declarations
• MovingSmoothPrimeComparison.lean 1 declarations
• MovingSpectatorCells.lean 3 declarations
• MovingSpectatorCongruence.lean 6 declarations
• MovingSpectatorCost.lean 5 declarations
• MovingSpectatorModulus.lean 8 declarations
• MovingSpectatorProduct.lean 1 declarations
• MovingSpectatorRangeUnits.lean 3 declarations
• MovingSpectatorScale.lean 2 declarations
• MovingSplitModulusBound.lean 2 declarations
• MovingSquareLines.lean 4 declarations
• MovingSquareSupport.lean 8 declarations
• MovingStatisticDecay.lean 5 declarations
• MovingSumFactors.lean 1 declarations
• MovingSupportCells.lean 7 declarations
• MovingSupportWeight.lean 7 declarations
• MovingSupportedCells.lean 5 declarations
• MovingSupportedOuterComparison.lean 2 declarations
• MovingSupportedOuterFactor.lean 3 declarations
• MovingSupportedPair.lean 2 declarations
• MovingSupportedPairHaarComparison.lean 2 declarations
• MovingSupportedRegularProduct.lean 1 declarations
• MovingSupportedSeparatedDiagonalRate.lean 1 declarations
• MovingSupportedWeight.lean 7 declarations
• MovingSymmetrizedFullCell.lean 1 declarations
• MovingSymmetrizedMaskedEnergy.lean 3 declarations
• MovingSymmetrizedMaskedIntegral.lean 2 declarations
• MovingSymmetrizedMaskedKernel.lean 5 declarations
• MovingSymmetrizedProductLower.lean 4 declarations
• MovingTaggedPrimeCore.lean 1 declarations
• MovingTargetTotal.lean 3 declarations
• MovingTemplateAmplitude.lean 2 declarations
• MovingTemplateAmplitudeRestore.lean 2 declarations
• MovingTemplateAmplitudeStatistic.lean 2 declarations
• MovingTemplateCoefficient.lean 4 declarations
• MovingTemplateDiagonal.lean 1 declarations
• MovingTemplateDiagonalPatterns.lean 1 declarations
• MovingTemplateDiagonalRate.lean 1 declarations
• MovingTemplateEnergyPatterns.lean 1 declarations
• MovingTemplateEnumeration.lean 4 declarations
• MovingTemplateExternalMultiplier.lean 2 declarations
• MovingTemplateHarmonicDiagonal.lean 1 declarations
• MovingTemplateIntegerNode.lean 3 declarations
• MovingTemplateLeaves.lean 4 declarations
• MovingTemplateLiveHarmonic.lean 1 declarations
• MovingTemplateLiveRaw.lean 1 declarations
• MovingTemplateLiveSymmetrization.lean 1 declarations
• MovingTemplateLiveTransfer.lean 1 declarations
• MovingTemplateLogCorrelation.lean 2 declarations
• MovingTemplateLogDiagonal.lean 1 declarations
• MovingTemplateLogFamilyBound.lean 1 declarations
• MovingTemplateLogFamilyPatterns.lean 1 declarations
• MovingTemplateLogFamilyRate.lean 1 declarations
• MovingTemplateLogMatchedBound.lean 1 declarations
• MovingTemplateLogMatchedPatterns.lean 1 declarations
• MovingTemplateLogMatchedRate.lean 1 declarations
• MovingTemplateLogNorm.lean 2 declarations
• MovingTemplateLogProduct.lean 2 declarations
• MovingTemplateLogSymmetrizedEnergy.lean 1 declarations
• MovingTemplateMaskedSymmetrization.lean 2 declarations
• MovingTemplateMatchedBound.lean 1 declarations
• MovingTemplateMatchedPatterns.lean 1 declarations
• MovingTemplateNormalizer.lean 3 declarations
• MovingTemplatePair.lean 8 declarations
• MovingTemplatePatternMultiplier.lean 1 declarations
• MovingTemplatePrimeCore.lean 1 declarations
• MovingTemplatePrimeStatistic.lean 3 declarations
• MovingTemplatePrimeStatisticBound.lean 1 declarations
• MovingTemplatePrior.lean 8 declarations
• MovingTemplateProducts.lean 3 declarations
• MovingTemplateSupport.lean 5 declarations
• MovingTemplateSupportedHarmonic.lean 1 declarations
• MovingTemplateSupportedRaw.lean 1 declarations
• MovingTemplateSupportedSymmetrization.lean 1 declarations
• MovingTemplateSupportedTransfer.lean 1 declarations
• MovingTemplateSymmetrizedDiagonal.lean 1 declarations
• MovingTemplateSymmetrizedNorm.lean 2 declarations
• MovingTemplateTransfer.lean 1 declarations
• MovingTemplateTransferRaw.lean 1 declarations
• MovingTemplateTransferSupport.lean 3 declarations
• MovingTemplateWeightedSupport.lean 2 declarations
• MovingTopCells.lean 6 declarations
• MovingTransferSlots.lean 5 declarations
• MovingTransferSupport.lean 5 declarations
• MovingTransferTransform.lean 3 declarations
• MovingTransformedIntegerNode.lean 1 declarations
• MovingUnitPeriodBound.lean 6 declarations
• MovingUnitSampleBound.lean 6 declarations
• MovingWeightedDiagonalEnergy.lean 2 declarations
• MovingWeightedDiagonalHistories.lean 1 declarations
• MovingWeightedDiagonalMean.lean 4 declarations
• MovingWeightedDiagonalRelabel.lean 2 declarations
• MovingWeightedEnergyPartition.lean 1 declarations
• MovingWeightedMatchedCorrelation.lean 3 declarations
• MovingWeightedMatchedHistories.lean 1 declarations
• MovingWeightedMatchedMean.lean 3 declarations
• MovingWeightedMatchedRelabel.lean 1 declarations
• MovingWindowCells.lean 6 declarations
• MovingWindowedSpectators.lean 4 declarations
• NaturalHistoryEnergy.lean 1 declarations
• NaturalMatchingEnergy.lean 2 declarations
• NaturalScheduleEnergy.lean 1 declarations
• NodeBulkProducts.lean 4 declarations
• NonbulkHarmonicBudget.lean 6 declarations
• OccurrencePermutation.lean 3 declarations
• OneSidedGraphFactor.lean 11 declarations
• OpenCellIntegerComparison.lean 3 declarations
• OpenCellPrimeComparison.lean 3 declarations
• PairedFrequencyActualBudget.lean 4 declarations
• PairedFrequencyActualBudgetBasic.lean 7 declarations
• PairedFrequencyActualBudgetEnvelope.lean 6 declarations
• PairedFrequencyActualBudgetTotal.lean 2 declarations
• PairedFrequencyTreeSum.lean 3 declarations
• PairedFrequencyTreeSumCount.lean 2 declarations
• PairedFrequencyTreeSumData.lean 7 declarations
• PairedFrequencyTreeSumLocal.lean 5 declarations
• PairedScheduledNormBound.lean 1 declarations
• PairedScheduledSum.lean 1 declarations
• PatternFrequencyNormSum.lean 2 declarations
• PeriodicGraphCancellation.lean 1 declarations
• PeriodicIntervalPhase.lean 3 declarations
• PeriodicResidueSum.lean 1 declarations
• PeriodicWeightPoisson.lean 3 declarations
• PermutationDiagramComparison.lean 3 declarations
• PermutationDiagramComparisonActual.lean 1 declarations
• PermutationDiagramComparisonProducts.lean 5 declarations
• PermutationDiagramComparisonUniversal.lean 2 declarations
• PermutationHaar.lean 15 declarations
• PermutationHaarConvention.lean 10 declarations
• PolynomialFlagMass.lean 2 declarations
• PolynomialFlagReplacement.lean 8 declarations
• PolynomialFlagReplacementExpectation.lean 5 declarations
• PolynomialFlagReplacementFinite.lean 2 declarations
• PolynomialFlagReplacementFiniteFamily.lean 3 declarations
• PolynomialFlagReplacementFiniteReindex.lean 13 declarations
• PolynomialFlagReplacementUnnormalized.lean 2 declarations
• PolynomialFlagReplacementUnnormalizedFinite.lean 1 declarations
• PolynomialFlagReplacementWeighted.lean 1 declarations
• PolynomialRootMass.lean 3 declarations
• PolynomialRootProbability.lean 1 declarations
• PrimeBandHarmonicTransfer.lean 1 declarations
• PrimeBandHarmonicTransferFinite.lean 1 declarations
• PrimeBandHarmonicTransferGeometry.lean 6 declarations
• PrimeCellActualErrorBudget.lean 0 declarations
• PrimeCellActualErrorBudgetBasic.lean 3 declarations
• PrimeCellActualErrorBudgetCost.lean 6 declarations
• PrimeCellActualErrorBudgetMass.lean 2 declarations
• PrimeCellActualErrorBudgetMixed.lean 2 declarations
• PrimeCellActualErrorBudgetMixedBasic.lean 8 declarations
• PrimeCellActualErrorBudgetPrime.lean 5 declarations
• PrimeCellAssignedReplacement.lean 4 declarations
• PrimeCellAssignedSmooth.lean 9 declarations
• PrimeCellFreezing.lean 5 declarations
• PrimeCellFreezingLog.lean 5 declarations
• PrimeCellGridIdentities.lean 8 declarations
• PrimeCellGridReplacement.lean 1 declarations
• PrimeCellIntegralFreezing.lean 5 declarations
• PrimeCellIntegralFreezingMass.lean 9 declarations
• PrimeCellJointNormMass.lean 10 declarations
• PrimeCellJointReplacement.lean 2 declarations
• PrimeCellJointReplacementAlgebra.lean 2 declarations
• PrimeCellJointReplacementPrior.lean 7 declarations
• PrimeCellMeshBudget.lean 6 declarations
• PrimeCellMeshCounts.lean 7 declarations
• PrimeCellMeshGrowth.lean 5 declarations
• PrimeCellReplacement.lean 5 declarations
• PrimeCellReplacementBounds.lean 2 declarations
• PrimeCellReplacementTests.lean 9 declarations
• PrimeCellReplacementUniform.lean 1 declarations
• PrimeCellSmoothFreezing.lean 6 declarations
• PrimeCellSmoothReplacement.lean 3 declarations
• PrimeHarmonicError.lean 1 declarations
• PrimeIntegerTransfer.lean 2 declarations
• PrimeIntervalVariation.lean 4 declarations
• PrimeLineFamilies.lean 1 import, no declarations
• PrimeLineFamiliesBasic.lean 16 declarations
• PrimeLineFamiliesProbability.lean 7 declarations
• PrimeLineFamiliesProduct.lean 5 declarations
• PrimeLineFamiliesRepeated.lean 5 declarations
• PrimeLineScalar.lean 3 declarations
• PrimeLines.lean 8 declarations
• PrimeMixedLineFamilies.lean 1 import, no declarations
• PrimeMixedLineFamiliesBasic.lean 16 declarations
• PrimeMixedLineFamiliesProbability.lean 8 declarations
• PrimeMixedLineFamiliesProduct.lean 5 declarations
• PrimeMixedLineFamiliesRepeated.lean 5 declarations
• PrimePairDecay.lean 2 declarations
• PrimePairHaarRegularity.lean 4 declarations
• PrimePairResidues.lean 3 declarations
• PrimePartitionVariation.lean 4 declarations
• PrimePatternFrequencyNormSum.lean 1 declarations
• PrimePatternUniformBudget.lean 2 declarations
• PrimePowerSquares.lean 3 declarations
• PrimeProgression.lean 8 declarations
• PrimeSquareFibers.lean 5 declarations
• PrimeSquareLiftFamilies.lean 17 declarations
• PrimeSquareLifts.lean 4 declarations
• PrimeSquareResidueLaw.lean 17 declarations
• PrimeSquareResidueLawBasic.lean 12 declarations
• PrimeTupleResidueRow.lean 2 declarations
• PrimeWordCellGeometry.lean 3 declarations
• ProductExpectation.lean 4 declarations
• ProductExpectationFinite.lean 1 declarations
• RangedComplexityBudget.lean 2 declarations
• RangedExpandedWordPairBound.lean 3 declarations
• RangedPairAdmissibility.lean 1 declarations
• RangedPairNumericBudget.lean 4 declarations
• RangedPairParameterDecay.lean 1 declarations
• RangedPairUniformDecay.lean 2 declarations
• RangedWordPairBound.lean 1 declarations
• RealBulkKernel.lean 12 declarations
• RealBulkKernelPair.lean 3 declarations
• RealBulkPrimeComparison.lean 3 declarations
• RealNodeSupport.lean 5 declarations
• RealSlotEvaluation.lean 11 declarations
• ReconstructedCoprimalityBound.lean 1 declarations
• ReconstructedDyadicGraph.lean 1 declarations
• ReconstructedHistoryTests.lean 4 declarations
• ReconstructedPairGraphBound.lean 1 declarations
• ReconstructedPhaseWeight.lean 4 declarations
• ReconstructedWordCoprimality.lean 5 declarations
• ReconstructedWordQueries.lean 7 declarations
• ReconstructionFrequencyPeriod.lean 6 declarations
• ReconstructionIntegrality.lean 5 declarations
• ReconstructionTestBounds.lean 3 declarations
• RecursiveArchimedeanCutoff.lean 1 declarations
• RecursiveFrequencySupport.lean 6 declarations
• RecursiveLeafExpansion.lean 8 declarations
• RecursiveNodeExpansion.lean 7 declarations
• RecursiveSupportExpansion.lean 5 declarations
• ReducedCoefficientLift.lean 5 declarations
• ReducedFrequencyEnergy.lean 5 declarations
• ReducedFrequencySum.lean 6 declarations
• RepeatedLabels.lean 6 declarations
• ResidueHaar.lean 9 declarations
• ResidueIntervals.lean 8 declarations
• ResiduePopulationCount.lean 2 declarations
• ResidueProductSupport.lean 4 declarations
• ResidueQuotient.lean 6 declarations
• RestoredBulkSignedBound.lean 1 declarations
• RestoredHarmonicCells.lean 3 declarations
• RestoredPrimeCellExpansion.lean 4 declarations
• ReversalCoprimality.lean 5 declarations
• RootCellErrorRates.lean 3 declarations
• RootCellIntegerComparison.lean 1 declarations
• RootCellPrimeComparison.lean 1 declarations
• RootIntegralRates.lean 2 declarations
• RootMeshIntegral.lean 3 declarations
• SafeRationalExpressions.lean 10 declarations
• SampledHistoryEnergy.lean 4 declarations
• SampledHistoryRate.lean 2 declarations
• SampledPrimeCoincidence.lean 2 declarations
• SampledSpectatorComparison.lean 1 declarations
• SampledTupleAmplitude.lean 3 declarations
• ScaleBudget.lean 7 declarations
• ScaledPoisson.lean 5 declarations
• SequentialActualSupport.lean 2 declarations
• SequentialProductSupport.lean 1 declarations
• SequentialSupport.lean 5 declarations
• SignedRightJacobiBasic.lean 10 declarations
• SignedRightJacobiCharacter.lean 7 declarations
• SignedRightJacobiNonsquare.lean 4 declarations
• SignedSplitSupport.lean 5 declarations
• SimultaneousSquares.lean 4 declarations
• SingleFrequencyModulus.lean 13 declarations
• SingleFrequencyTree.lean 13 declarations
• SingleHistoryRates.lean 5 declarations
• SingleHistorySupport.lean 9 declarations
• SmoothCellRate.lean 3 declarations
• SmoothGatedPrimeRoots.lean 1 declarations
• SmoothPolynomialWeight.lean 11 declarations
• SmoothPrimeAllRoots.lean 1 declarations
• SmoothPrimeComparison.lean 3 declarations
• SplitPrefixProducts.lean 14 declarations
• SplitSampleLists.lean 6 declarations
• SplitSquareSupport.lean 10 declarations
• SquareCongruence.lean 6 declarations
• SquareLiftExclusions.lean 7 declarations
• SquareRootProbability.lean 4 declarations
• SupportedHistoryCancellation.lean 3 declarations
• SupportedMatchedHistoryEnergy.lean 2 declarations
• SupportedPolynomialCharacterSum.lean 5 declarations
• SymbolicLineComparison.lean 9 declarations
• SymmetrizedPairBound.lean 5 declarations
• TopPrimePairSupport.lean 1 declarations
• TotalAtomUnits.lean 6 declarations
• TreePermutationHaar.lean 14 declarations
• TwoPowerSquares.lean 2 declarations
• UnitRangedOriginalPair.lean 2 declarations
• UnitRangedWordPairBound.lean 3 declarations
• UnitResidueGrowth.lean 1 declarations
• UnitSquareRoots.lean 1 declarations
• VariableModulusSupport.lean 3 declarations
• WeightedArithmeticSupport.lean 4 declarations
• WeightedFlagComparison.lean 1 declarations
• WeightedIntegerIntervals.lean 11 declarations
• WeightedIntervalMass.lean 5 declarations
• WeightedPolynomialRoots.lean 2 declarations
• WeightedPrimeIntervals.lean 8 declarations
• WholeShellArithmeticCells.lean 1 declarations
• WholeShellGeometry.lean 4 declarations