OAI/Analysis/Triangular/Certificate/PolytopeInterval.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.AtomicTriangular.FiniteCertificate.ZBox line 11
2. def OAI.AtomicTriangular.FiniteCertificate.WstarBox line 12
3. def OAI.AtomicTriangular.FiniteCertificate.DeltaStarBox line 13
4. def OAI.AtomicTriangular.FiniteCertificate.UstarBox line 14
5. def OAI.AtomicTriangular.FiniteCertificate.PstarBox line 15
6. lemma OAI.AtomicTriangular.FiniteCertificate.ZBox_mem line 16
7. lemma OAI.AtomicTriangular.FiniteCertificate.WstarBox_mem line 17
8. lemma OAI.AtomicTriangular.FiniteCertificate.DeltaStarBox_mem line 18
9. lemma OAI.AtomicTriangular.FiniteCertificate.UstarBox_mem line 19
10. lemma OAI.AtomicTriangular.FiniteCertificate.PstarBox_mem line 20
11. def OAI.AtomicTriangular.FiniteCertificate.rowLowerBox line 21
12. lemma OAI.AtomicTriangular.FiniteCertificate.rowLowerBox_mem line 27
13. def OAI.AtomicTriangular.Construction.bernsteinRows line 44
14. lemma OAI.AtomicTriangular.Construction.bernsteinRows_dot line 47
15. lemma OAI.AtomicTriangular.Construction.polytope_polynomial_lower line 53