OAI/Analysis/Triangular/Signs/OrdinaryComparison.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.AtomicTriangular.Construction.near_positive_polynomial line 25
2. lemma OAI.AtomicTriangular.Construction.near_negative_polynomial line 71
3. lemma OAI.AtomicTriangular.Construction.ordinaryOffset_actual line 116
4. lemma OAI.AtomicTriangular.Construction.gaussian_ordinary_lower line 120
5. lemma OAI.AtomicTriangular.Construction.near_positive_deleted line 147
6. lemma OAI.AtomicTriangular.Construction.near_ordinary_deleted line 153