OAI/MathematicalPhysics/DefocusingNLS/Nonlinear/StableGraphSmallRemainder.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The stable graph from the normalized linear data and a small remainder

  1. theorem OAI.DefocusingNLS.exists_stableGraph_of_small_remainder line 12