OAI/Analysis/Triangular/Signs/FarSigns.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.AtomicTriangular.Construction.deletedSecond_identity line 11
2. lemma OAI.AtomicTriangular.Construction.actualJ0_jets line 18
3. def OAI.AtomicTriangular.Construction.farK line 30
4. lemma OAI.AtomicTriangular.Construction.actualJ0_deleted line 32
5. lemma OAI.AtomicTriangular.Construction.far_signs_of_barrier line 45
6. lemma OAI.AtomicTriangular.Construction.middle_signs line 66
7. lemma OAI.AtomicTriangular.Construction.later_signs line 82
8. theorem OAI.AtomicTriangular.Construction.global_signs line 92