OAI/MathematicalPhysics/DefocusingNLS/Linear/ExpandingEnergyObservation.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Dissipative energy with a compact physical observation on large tori

  1. theorem OAI.DefocusingNLS.exists_expandingEnergy_observation line 17