OAI/Geometry/SplitTangent/PolynomialSpecialization.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

Polynomial Specialization.

  1. lemma OAI.PolynomialSpecialization.eval_analyticAt line 13
  2. lemma OAI.PolynomialSpecialization.eq_zero_of_zero_on_open line 30
  3. lemma OAI.PolynomialSpecialization.exists_simultaneously_nonzero line 44
  4. theorem OAI.PolynomialSpecialization.generic_specialization line 59
  5. theorem OAI.PolynomialSpecialization.finite_fiber line 80