OAI/MathematicalPhysics/DefocusingNLS/Certificates/RectangleKernelNonzero.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Nonvanishing of the Cauchy-kernel integral in the counting rectangle

  1. theorem OAI.DefocusingNLS.zero_mem_countingRectangle line 11
  2. theorem OAI.DefocusingNLS.countingBoundaryIntegral_inv_im_pos line 16
  3. theorem OAI.DefocusingNLS.countingBoundaryIntegral_inv_ne_zero line 87