OAI/Analysis/PathSelection/JointPreparation.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

Jointly analytic fixed-contour preparation and division.

  1. lemma OAI.PathSelection.JointPreparation.deriv_slice line 16
  2. lemma OAI.PathSelection.JointPreparation.analyticOnNhd_deriv_slice line 23
  3. lemma OAI.PathSelection.JointPreparation.analyticOnNhd_contourPowerSum line 32
  4. lemma OAI.PathSelection.JointPreparation.analyticAt_newtonEsymm line 42
  5. lemma OAI.PathSelection.JointPreparation.analyticOnNhd_preparation_eval line 62
  6. lemma OAI.PathSelection.JointPreparation.analyticOnNhd_divisionQuotient line 82
  7. lemma OAI.PathSelection.JointPreparation.analyticOnNhd_slice line 108
  8. lemma OAI.PathSelection.JointPreparation.zero_count_constant line 115
  9. theorem OAI.PathSelection.JointPreparation.joint_fixed_contour_preparation line 133
  10. lemma OAI.PathSelection.JointPreparation.analyticOnNhd_preparation_coeff line 168
  11. lemma OAI.PathSelection.JointPreparation.analyticOnNhd_divisionRemainder_coeff line 183
  12. theorem OAI.PathSelection.JointPreparation.joint_fixed_contour_division line 221