OAI/Analysis/SymmetricDomains/VerticalPieceBasePolynomial.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.Release061.VerticalPiece line 35
2. def OAI.Release061.verticalPieceSet line 37
3. lemma OAI.Release061.verticalPiece_preconnected line 44
4. lemma OAI.Release061.verticalPiece_lower line 54
5. lemma OAI.Release061.verticalPiece_upper line 60
6. lemma OAI.Release061.verticalPiece_polynomialSignSet line 66
7. lemma OAI.Release061.verticalPieces_cover line 99
8. lemma OAI.Release061.SemialgebraicOn.predicate line 159
9. lemma OAI.Release061.verticalPiece_base_polynomialSignSet line 174