OAI/Analysis/Triangular/Construction/FiniteRemainder.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.AtomicTriangular.Construction.complexError line 14
2. lemma OAI.AtomicTriangular.Construction.complexError_add line 15
3. lemma OAI.AtomicTriangular.Construction.complexError_mul line 19
4. lemma OAI.AtomicTriangular.Construction.complexError_sum line 23
5. lemma OAI.AtomicTriangular.Construction.finiteWave_error line 26
6. lemma OAI.AtomicTriangular.Construction.remainderWave_nonneg line 38
7. lemma OAI.AtomicTriangular.Construction.rawRemainderColumn_nonneg line 45
8. lemma OAI.AtomicTriangular.Construction.rawRemainderConstant_nonneg line 47
9. lemma OAI.AtomicTriangular.Construction.inputJJet_zero_tail line 49
10. lemma OAI.AtomicTriangular.Construction.atom_remainder_bound line 55
11. lemma OAI.AtomicTriangular.Construction.finite_input_error line 65