OAI/MathematicalPhysics/DefocusingNLS/Certificates/ZeroTailAnalyticCount.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Analytic zero counts for the central zero-tail determinant

  1. theorem OAI.DefocusingNLS.analyticOrderAt_const_mul line 13
  2. theorem OAI.DefocusingNLS.SeparatorArithmetic.central_zeroTail_order line 26
  3. theorem OAI.DefocusingNLS.SeparatorArithmetic.central_zeroTail_rectangle_count line 48