OAI/Analysis/Triangular/Construction/DirectWaveJets.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.AtomicTriangular.Construction.waveFunctionJet_direct_zero line 12
2. lemma OAI.AtomicTriangular.Construction.waveFunctionJet_zero_phase line 21
3. lemma OAI.AtomicTriangular.Construction.hasDerivAt_phaseFunction line 24
4. lemma OAI.AtomicTriangular.Construction.spectralC_direct line 28
5. lemma OAI.AtomicTriangular.Construction.spectralD_direct line 38
6. lemma OAI.AtomicTriangular.Construction.spectralP_direct line 48
7. lemma OAI.AtomicTriangular.Construction.atomC_direct line 58
8. lemma OAI.AtomicTriangular.Construction.atomD_direct line 68
9. lemma OAI.AtomicTriangular.Construction.waveFunctionJet_direct_one line 78
10. lemma OAI.AtomicTriangular.Construction.cBasis_deriv_re line 89
11. lemma OAI.AtomicTriangular.Construction.finiteC_deriv_re line 95