OAI/Probability/LogConcave/JetEstimates/
716 declarations, 0 contain sorry, 0 declared as axioms; 47 files
Files
- AllSplitBound.lean 1 declarations
- ArrayComponentPolySmooth.lean 2 declarations
- ArrayMatrix.lean 34 declarations
- ArrayRelabel.lean 5 declarations
- AssignmentsFinset.lean 17 declarations
- Bound.lean 62 declarations
- ClosedWireLintegralBound.lean 1 declarations
- CompLinear.lean 6 declarations
- ContractLeftSplit.lean 23 declarations
- CrossMoment.lean 4 declarations
- DirLogLaplace.lean 1 declarations
- Extend.lean 11 declarations
- Extension.lean 6 declarations
- FlowJetMajorant.lean 6 declarations
- ForestTensor.lean 25 declarations
- GadjScalar.lean 5 declarations
- Growth.lean 55 declarations
- JetCompactIntegral.lean 6 declarations
- JetCongrList.lean 1 declarations
- JetMapPositions.lean 2 declarations
- JetMaterial.lean 40 declarations
- JetNormalizedLaplaceMoments.lean 1 declarations
- JetRightSlice.lean 11 declarations
- Lipschitz.lean 4 declarations
- LogDegree.lean 4 declarations
- Material.lean 12 declarations
- MatrixArray.lean 12 declarations
- Mdir.lean 16 declarations
- MixedJetAdd.lean 5 declarations
- MultisetProd.lean 5 declarations
- MultisetProd2.lean 1 declarations
- NormalizedLaplace.lean 57 declarations
- PolyC1.lean 13 declarations
- PolySmooth.lean 14 declarations
- ProperSplit.lean 23 declarations
- ProperSplitCard.lean 3 declarations
- Reindex.lean 2 declarations
- ReindexedMatrix.lean 14 declarations
- Slice.lean 21 declarations
- SmoothTensorCurve.lean 2 declarations
- SpaceBasis.lean 46 declarations
- SplitBundle.lean 19 declarations
- SplitIndex.lean 10 declarations
- Squared.lean 24 declarations
- TensorExpression.lean 30 declarations
- TensorTerm.lean 38 declarations
- WireStep.lean 16 declarations