OAI/MathematicalPhysics/DefocusingNLS/Profile/SlowIntegralIdentification.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Identification of the two integrals on the initial half-planes

  1. theorem OAI.DefocusingNLS.regularizedSlowSolution_eq_euler_complex line 15