OAI/MathematicalPhysics/DefocusingNLS/Nonlinear/CutoffStableSequence.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Decaying endpoint sequences for the actual cutoff remainder estimates

  1. theorem OAI.DefocusingNLS.exists_cutoffStable_sequence_threshold line 15