OAI/MathematicalPhysics/DefocusingNLS/Linear/ExpandingObservedFamily.lean
1 declarations, 0 contain sorry, 0 declared as axioms
An observed coefficient family controls every later expanding slab
- theorem
OAI.DefocusingNLS.expandingObservedFamily_energyline 13