OAI/MathematicalPhysics/DefocusingNLS/Certificates/RectangleContourDegree.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

The rectangular contour integral counts the finite analytic divisor

  1. theorem OAI.DefocusingNLS.countingBoundaryIntegral_sum line 10
  2. theorem OAI.DefocusingNLS.countingBoundaryIntegral_eq_degree line 23