OAI/MathematicalPhysics/DefocusingNLS/Nonlinear/PhysicalModulationBudget.lean
1 declarations, 0 contain sorry, 0 declared as axioms
Choosing the modulation radius before the graph's tail cutoff
- theorem
OAI.DefocusingNLS.exists_physical_modulation_budgetline 9