OAI/Geometry/Zonotope/Body.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.DiagonalZonotope.isClosed_centered line 14
2. lemma OAI.DiagonalZonotope.isCompact_centered line 27
3. lemma OAI.DiagonalZonotope.abs_convex_combination line 34
4. lemma OAI.DiagonalZonotope.convex_centered line 43
5. lemma OAI.DiagonalZonotope.half_box_subset_centered line 58
6. lemma OAI.DiagonalZonotope.centered_interior_nonempty line 70
7. lemma OAI.DiagonalZonotope.isCompact_scaled_centered line 85
8. lemma OAI.DiagonalZonotope.convex_scaled_centered line 89
9. lemma OAI.DiagonalZonotope.scaled_centered_interior_nonempty line 93