OAI/Analysis/SymmetricDomains/GenericRealParameterPolynomial.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Release061.complexify_mv_eval line 34
2. lemma OAI.Release061.complexify_polynomial_eval line 42
3. theorem OAI.Release061.semialgebraic_function_algebraic_data line 51
4. lemma OAI.Release061.realParameter_dist line 90
5. theorem OAI.Release061.generic_real_parameter_polynomial_nonzero line 98