OAI/Analysis/PathSelection/RootClusters.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

Constant root counts and joint preparation of fixed root clusters.

  1. theorem OAI.DegeneratingTrees.contour_rootCount_constant line 16
  2. theorem OAI.DegeneratingTrees.contour_rootCount_eq_of_close line 50
  3. theorem OAI.DegeneratingTrees.fixed_contour_preparation_general line 91
  4. theorem OAI.DegeneratingTrees.fixed_contour_preparation_of_close line 184
  5. theorem OAI.DegeneratingTrees.prepared_unit_all_orders line 215
  6. theorem OAI.DegeneratingTrees.contourPolynomial_dvd line 229