OAI/Analysis/Triangular/Construction/TailCoordinates.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.AtomicTriangular.Construction.tailColumnSpectral_directJet line 12
2. lemma OAI.AtomicTriangular.Construction.tailSpectral_tail_directJet line 35
3. lemma OAI.AtomicTriangular.Construction.spectralC_other_directJet line 42
4. lemma OAI.AtomicTriangular.Construction.spectralD_other_directJet line 47
5. lemma OAI.AtomicTriangular.Construction.tailColumnSpectral_other_directJet line 52
6. lemma OAI.AtomicTriangular.Construction.tailSpectral_finite_directJet line 60
7. lemma OAI.AtomicTriangular.Construction.inputJJet_direct_negative line 66
8. lemma OAI.AtomicTriangular.Construction.inputJJet_tail_direct_negative line 71