OAI/Analysis/Triangular/Envelope/Analytic.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.AtomicTriangular.Construction.Xwave_pos line 11
2. lemma OAI.AtomicTriangular.Construction.Xwave_square line 14
3. lemma OAI.AtomicTriangular.Construction.normSq_lambda line 18
4. lemma OAI.AtomicTriangular.Construction.norm_lambda line 28
5. lemma OAI.AtomicTriangular.Construction.normSq_zeta line 30
6. lemma OAI.AtomicTriangular.Construction.wavePhase_re line 36
7. lemma OAI.AtomicTriangular.Construction.norm_wavePhase line 38
8. def OAI.AtomicTriangular.Construction.jetEnvelope line 43
9. def OAI.AtomicTriangular.Construction.frequencyDecay line 47
10. lemma OAI.AtomicTriangular.Construction.Xwave_antitone line 49
11. lemma OAI.AtomicTriangular.Construction.damping_Xwave_lower line 55
12. lemma OAI.AtomicTriangular.Construction.jetEnvelope_monotone line 69