OAI/Analysis/Triangular/Signs/Exceptional.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.AtomicTriangular.Construction.freezeParameter line 11
2. lemma OAI.AtomicTriangular.Construction.polytope_one line 13
3. lemma OAI.AtomicTriangular.Construction.freezeParameter_mem line 16
4. def OAI.AtomicTriangular.Construction.frozenTaylorRow line 23
5. lemma OAI.AtomicTriangular.Construction.frozenTaylorRow_eval line 26
6. def OAI.AtomicTriangular.Construction.frozenTaylor line 35
7. lemma OAI.AtomicTriangular.Construction.frozenTaylor_eq line 37
8. def OAI.AtomicTriangular.Construction.exceptionalWeight line 42
9. def OAI.AtomicTriangular.Construction.exceptionalOffset line 52
10. def OAI.AtomicTriangular.Construction.exceptionalRow line 56
11. def OAI.AtomicTriangular.Construction.exceptionalValue line 61
12. lemma OAI.AtomicTriangular.Construction.exceptionalRow_eval line 68