OAI/Analysis/Triangular/Construction/FiniteJets.lean

GitHub source file

17 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.AtomicTriangular.Construction.sineFactor_deriv line 10
2. lemma OAI.AtomicTriangular.Construction.sineFactor_second line 17
3. lemma OAI.AtomicTriangular.Construction.square_zero_jets line 26
4. lemma OAI.AtomicTriangular.Construction.square_zero_product_jets line 44
5. lemma OAI.AtomicTriangular.Construction.sineFactor_at_residue line 59
6. lemma OAI.AtomicTriangular.Construction.finiteC_matching_jets line 75
7. lemma OAI.AtomicTriangular.Construction.kappa_ne_zero line 107
8. lemma OAI.AtomicTriangular.Construction.residue_bounds line 110
9. lemma OAI.AtomicTriangular.Construction.sineFactor_ne_zero line 112
10. lemma OAI.AtomicTriangular.Construction.finiteC_P line 127
11. lemma OAI.AtomicTriangular.Construction.finiteC_other_jets line 133
12. def OAI.AtomicTriangular.Construction.finiteRatio line 151
13. lemma OAI.AtomicTriangular.Construction.finiteD_eq_ratio line 153
14. lemma OAI.AtomicTriangular.Construction.differentiable_finiteRatio line 158
15. lemma OAI.AtomicTriangular.Construction.finiteRatio_matching line 161
16. lemma OAI.AtomicTriangular.Construction.finiteD_matching_jets line 177
17. lemma OAI.AtomicTriangular.Construction.finiteD_other_jets line 188