OAI/Analysis/Triangular/Construction/ActualCorrection.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.AtomicTriangular.Construction.finiteResidual line 13
2. lemma OAI.AtomicTriangular.Construction.finiteResidual_norm line 17
3. def OAI.AtomicTriangular.Construction.finiteApprox line 47
4. lemma OAI.AtomicTriangular.Construction.finiteApprox_norm line 50
5. def OAI.AtomicTriangular.Construction.approximationTailResidual line 63
6. lemma OAI.AtomicTriangular.Construction.approximationTailResidual_norm line 70
7. def OAI.AtomicTriangular.Construction.actualTailSplit line 101
8. def OAI.AtomicTriangular.Construction.actualFiniteSplit line 103
9. lemma OAI.AtomicTriangular.Construction.actualTailSplit_norm line 105
10. lemma OAI.AtomicTriangular.Construction.actualFiniteSplit_norm line 108
11. def OAI.AtomicTriangular.Construction.actualTail line 112
12. def OAI.AtomicTriangular.Construction.actualFiniteError line 114
13. lemma OAI.AtomicTriangular.Construction.actualTail_norm line 116
14. lemma OAI.AtomicTriangular.Construction.actualFiniteError_norm line 125