OAI/MathematicalPhysics/DefocusingNLS/Linear/ExpandingApproximationCoefficients.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Both actual odd-power coefficients have compact approximations

  1. theorem OAI.DefocusingNLS.expandingOdd_coefficients_compact line 11