OAI/Analysis/Triangular/Envelope/JetEnvelopeAnalytic.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.AtomicTriangular.Construction.norm_transformedWave line 9
2. lemma OAI.AtomicTriangular.Construction.jetMultiplier_pair_bound line 17
3. lemma OAI.AtomicTriangular.Construction.jet_pair_bound line 30
4. lemma OAI.AtomicTriangular.Construction.normJetEnvelope_nonneg line 45
5. lemma OAI.AtomicTriangular.Construction.normJetEnvelope_even line 47
6. lemma OAI.AtomicTriangular.Construction.normJetEnvelope_abs line 51
7. lemma OAI.AtomicTriangular.Construction.normJetEnvelope_monotone line 56