OAI/Analysis/Triangular/Signs/RemainderBoxes.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.AtomicTriangular.Construction.remainderWave line 11
2. def OAI.AtomicTriangular.Construction.nearRadius line 14
3. lemma OAI.AtomicTriangular.Construction.nearDisplacement_le_radius line 15
4. lemma OAI.AtomicTriangular.Construction.nearRadius_nonneg line 18
5. def OAI.AtomicTriangular.Construction.rawRemainderColumn line 20
6. def OAI.AtomicTriangular.Construction.rawRemainderConstant line 23
7. def OAI.AtomicTriangular.FiniteCertificate.nearRadiusBox line 28
8. lemma OAI.AtomicTriangular.FiniteCertificate.nearRadiusBox_mem line 29
9. def OAI.AtomicTriangular.FiniteCertificate.remainderExpInput line 31
10. def OAI.AtomicTriangular.FiniteCertificate.remainderBox line 33
11. lemma OAI.AtomicTriangular.FiniteCertificate.remainderBox_mem line 37