OAI/MathematicalPhysics/DefocusingNLS/Nonlinear/GaussianCounterexample.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The Gaussian data do not almost surely admit global classical solutions

  1. theorem OAI.DefocusingNLS.gaussian_not_almost_sure_global_conditional line 13