OAI/Analysis/Triangular/Construction/DirectCoordinates.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.AtomicTriangular.Construction.negativeJet_re line 10
2. lemma OAI.AtomicTriangular.Construction.damped_wave_re line 21
3. lemma OAI.AtomicTriangular.Construction.negativeJet_direct_re line 32
4. def OAI.AtomicTriangular.Construction.directJetFunction line 44
5. lemma OAI.AtomicTriangular.Construction.negativeJet_direct_linear line 48
6. lemma OAI.AtomicTriangular.Construction.Q_node_ne line 53
7. lemma OAI.AtomicTriangular.Construction.spectralP_directJet line 55
8. lemma OAI.AtomicTriangular.Construction.spectralC_directJet line 59
9. lemma OAI.AtomicTriangular.Construction.spectralD_directJet line 75