OAI/Analysis/SymmetricDomains/PolynomialSignSetInf.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Release061.PolynomialSignSet.iff_set line 35
2. lemma OAI.Release061.PolynomialSignSet.norm_lt_polynomial line 43
3. lemma OAI.Release061.SignElimination.polynomialSignSet_forall_one line 74
4. lemma OAI.Release061.SignElimination.polynomialSignSet_graph_of_sublevel line 82
5. lemma OAI.Release061.SignElimination.polynomialSignSet_near_fiber line 110
6. lemma OAI.Release061.SignElimination.polynomialSignSet_infDist_graph line 132