OAI/Analysis/Triangular/Signs/GaussianDeleted.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.AtomicTriangular.Construction.gaussianG_contDiff line 9
2. lemma OAI.AtomicTriangular.Construction.gaussianG_second line 10
3. lemma OAI.AtomicTriangular.Construction.deletedSecond_lower line 17
4. lemma OAI.AtomicTriangular.Construction.gaussian_deleted_nonneg line 25
5. lemma OAI.AtomicTriangular.Construction.gaussian_deleted_left line 31
6. def OAI.AtomicTriangular.Construction.pade0 line 44
7. def OAI.AtomicTriangular.Construction.pade1 line 45
8. lemma OAI.AtomicTriangular.Construction.pade0_deriv line 46
9. lemma OAI.AtomicTriangular.Construction.pade1_deriv line 51
10. lemma OAI.AtomicTriangular.Construction.pade1_nonneg line 56
11. lemma OAI.AtomicTriangular.Construction.pade0_nonneg line 60
12. lemma OAI.AtomicTriangular.Construction.pade_rational line 66
13. lemma OAI.AtomicTriangular.Construction.gaussian_deleted_formula line 73
14. lemma OAI.AtomicTriangular.Construction.gaussian_deleted_right line 81
15. lemma OAI.AtomicTriangular.Construction.gaussian_deleted_three line 99