OAI/MathematicalPhysics/DefocusingNLS/Certificates/PolynomialRectangleCount.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Finite rectangle counts for the certified simple polynomial roots

  1. theorem OAI.DefocusingNLS.rectangleZeroCount_of_simple_orders line 12
  2. theorem OAI.DefocusingNLS.rectangleZeroCount_polynomial_translate line 31