OAI/Analysis/Triangular/Construction/PeriodicJets.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.AtomicTriangular.Construction.P_periodic line 8
2. lemma OAI.AtomicTriangular.Construction.waveDerivative_periodic line 20
3. lemma OAI.AtomicTriangular.Construction.waveDerivative_emod line 27
4. lemma OAI.AtomicTriangular.Construction.Q_emod line 33
5. lemma OAI.AtomicTriangular.Construction.D_emod line 34
6. lemma OAI.AtomicTriangular.FiniteCertificate.Q_node_bounds line 38
7. lemma OAI.AtomicTriangular.FiniteCertificate.D_node_bound line 48