OAI/Analysis/Triangular/Construction/TailJetVector.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.AtomicTriangular.Construction.JetVector line 10
2. def OAI.AtomicTriangular.Construction.jetVector line 11
3. lemma OAI.AtomicTriangular.Construction.continuous_jetMultiplier line 13
4. lemma OAI.AtomicTriangular.Construction.continuous_jetVector line 27
5. lemma OAI.AtomicTriangular.Construction.jetVector_norm_bound line 31
6. def OAI.AtomicTriangular.Construction.tailJetVector line 36
7. def OAI.AtomicTriangular.Construction.tailJet line 38
8. lemma OAI.AtomicTriangular.Construction.finiteEndpoint line 40
9. lemma OAI.AtomicTriangular.Construction.tailJetVector_bound line 45
10. lemma OAI.AtomicTriangular.Construction.tailJet_pair_bound line 59