OAI/Analysis/Triangular/Construction/ActualInput.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.AtomicTriangular.Construction.tail_pairs_summable line 10
2. lemma OAI.AtomicTriangular.Construction.tail_pairs_norm line 14
3. def OAI.AtomicTriangular.Construction.coefficientInput line 23
4. def OAI.AtomicTriangular.Construction.extendFiniteError line 31
5. lemma OAI.AtomicTriangular.Construction.extendFiniteError_norm line 34
6. def OAI.AtomicTriangular.Construction.actualTrigonometric line 44
7. def OAI.AtomicTriangular.Construction.actualInput line 46
8. lemma OAI.AtomicTriangular.Construction.actualTrigonometric_norm line 49
9. lemma OAI.AtomicTriangular.Construction.correctionFinite_plus line 58
10. lemma OAI.AtomicTriangular.Construction.correctionFinite_minus line 63
11. lemma OAI.AtomicTriangular.Construction.actualFiniteError_equations line 68