OAI/MathematicalPhysics/DefocusingNLS/Nonlinear/PhysicalOpenStableOrbit.lean
1 declarations, 0 contain sorry, 0 declared as axioms
An open physical family from the actual flat stable graph and symmetry frame
- theorem
OAI.DefocusingNLS.physical_cutoff_orbit_open_of_frameline 23