OAI/Analysis/Triangular/Envelope/
517 declarations, 0 contain sorry, 0 declared as axioms; 17 files
Files
- Analytic.lean 12 declarations
- Basic.lean 3 declarations
- EnvelopeBoxes.lean 21 declarations
- EnvelopeNorm0.lean 24 declarations
- EnvelopeNorm1.lean 24 declarations
- EnvelopeNorm2.lean 21 declarations
- EnvelopeNorms.lean 13 declarations
- EnvelopePsiB.lean 70 declarations
- EnvelopePsiC.lean 105 declarations
- EnvelopePsiD.lean 105 declarations
- EnvelopeSums.lean 44 declarations
- EnvelopeSumsBase.lean 7 declarations
- EnvelopeWaves.lean 30 declarations
- JetEnvelopeAnalytic.lean 7 declarations
- KernelBounds.lean 11 declarations
- TailEnvelopeSeries.lean 6 declarations
- TargetEnvelope.lean 14 declarations