OAI/Probability/JammingConcavity/
2341 declarations, 0 contain sorry, 0 declared as axioms; 59 files
Files
- CascadeGenealogyBase.lean 56 declarations
- CascadeNormalization.lean 39 declarations
- CascadePathCoordinates.lean 62 declarations
- CloudCountingDecomposition.lean 51 declarations
- CylinderSecants.lean 25 declarations
- Deletion.lean 10 declarations
- DeletionDeterministicRepairSmallness.lean 15 declarations
- DeletionMeasurePreservingSelectRows.lean 67 declarations
- DeletionUniformGapCountFailureBound.lean 31 declarations
- DeletionUniformRowEstimates.lean 12 declarations
- FamilyCascadeLog.lean 59 declarations
- FamilyPathRatio.lean 32 declarations
- FamilyPositiveTotal.lean 56 declarations
- FiniteRowRecursion.lean 47 declarations
- GaussianColeHopf.lean 71 declarations
- GaussianDerivativeMartingale.lean 46 declarations
- GaussianDerivativeMartingaleRowRefinementCovariance.lean 36 declarations
- GaussianStepRight.lean 27 declarations
- GaussianStepSlope.lean 21 declarations
- GaussianTwiceTerminal.lean 31 declarations
- LogHeatCalculus.lean 23 declarations
- ParabolicInterior.lean 20 declarations
- PolynomialComparison.lean 17 declarations
- PolynomialHeat.lean 36 declarations
- RPCLabelBridge.lean 34 declarations
- RPCPatternExtension.lean 48 declarations
- RPCPatternInsertionEvents.lean 36 declarations
- RPCRankUniqueness.lean 48 declarations
- RPCSamplePattern.lean 30 declarations
- RowBoundedTerminal.lean 33 declarations
- RowCalcJet.lean 59 declarations
- RowCommonRankContinuity.lean 54 declarations
- RowDerivativeApprox.lean 56 declarations
- RowFiniteDiagonal.lean 32 declarations
- RowFiniteDiagonalRowDirectionPairingTendsto.lean 39 declarations
- RowFiniteDiagonalRowGeneralInterpolation.lean 43 declarations
- RowIntegralJets.lean 54 declarations
- RowMixedCalculus.lean 29 declarations
- RowParameterData.lean 38 declarations
- RowProfileAnalytic.lean 42 declarations
- RowQuadraticTerminalLimit.lean 5 declarations
- RowRankTerminalStability.lean 49 declarations
- RowRefinementCovariance.lean 71 declarations
- RowReplicaMixture.lean 60 declarations
- RowReplicaMixtureFamilyReplicaNumeratorAe.lean 28 declarations
- RowSmoothApproxFinite.lean 41 declarations
- RowVariableComparison.lean 29 declarations
- RowWeightedStep.lean 42 declarations
- RowZeroRefinementClosure.lean 30 declarations
- RowZeroRefinementClosureProfileDistanceEqZeroOfTests.lean 32 declarations
- RowZeroRefinementClosureRowDensityScoreIdentity.lean 43 declarations
- SpherePressure.lean 62 declarations
- SphericalGridDensity.lean 42 declarations
- StableJumpIntegral.lean 32 declarations
- StableLawScaling.lean 38 declarations
- UniformPolynomialGrowth.lean 45 declarations
- UniversalRPCRank.lean 44 declarations
- VarianceTensorization.lean 37 declarations
- WeightedMarkedFactorial.lean 46 declarations