OAI/Analysis/Triangular/Certificate/Polytope.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.AtomicTriangular.Construction.box_linear_lower line 9
2. lemma OAI.AtomicTriangular.Construction.triangle_linear_lower line 17
3. def OAI.AtomicTriangular.Construction.rowLower line 34
4. lemma OAI.AtomicTriangular.Construction.rowLower_le line 38