OAI/Analysis/AffineBernstein/OrthantHeight.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.AffineBernstein.orthantHeight line 21
2. lemma OAI.AffineBernstein.orthantHeight_apply line 25
3. def OAI.AffineBernstein.orthantCenter line 29
4. lemma OAI.AffineBernstein.orthantCenter_coordinates line 32
5. lemma OAI.AffineBernstein.orthantCenter_height line 35
6. lemma OAI.AffineBernstein.orthantCenter_interior line 39
7. lemma OAI.AffineBernstein.orthantHeight_ne_zero line 42
8. lemma OAI.AffineBernstein.orthant_cap_bounded line 49