OAI/Probability/LogConcave/Complexity/
119 declarations, 0 contain sorry, 0 declared as axioms; 17 files
Files
- CenteringStateBudget.lean 7 declarations
- CenteringStateBudgetNonneg.lean 4 declarations
- Envelope.lean 3 declarations
- EventuallySequences.lean 3 declarations
- HarmonicCorrectionBudget.lean 7 declarations
- KernelActionNormalizedBudget.lean 7 declarations
- KernelActionRmsBudget.lean 8 declarations
- KernelAnalyticBudget.lean 4 declarations
- KernelAnalyticNormalizedBudget.lean 47 declarations
- KernelValueRmsBudget.lean 2 declarations
- OccurrenceBudget.lean 5 declarations
- PolynomialBudget.lean 4 declarations
- ProbabilityRmsBudget.lean 2 declarations
- ProductEnergyBudgetScaled.lean 3 declarations
- SingleCellBasisBudget.lean 4 declarations
- TerminalDerivativeBudget.lean 6 declarations
- VelocityNormalizedBudgetCalibrated.lean 3 declarations