OAI/MathematicalPhysics/DefocusingNLS/Linear/HomogeneousPhysicalLift.lean
1 declarations, 0 contain sorry, 0 declared as axioms
A continuous physical limit lifts to a weakly continuous bounded Y path
- theorem
OAI.DefocusingNLS.exists_homogeneous_weaklyContinuous_liftline 13