OAI/MathematicalPhysics/DefocusingNLS/Spectrum/SpectralRemoteFamilyComposition.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Composition with a varying smooth family whose fixed spatial jets are uniformly bounded along the given curves.

  1. theorem OAI.DefocusingNLS.spectralRemote_family_composition line 12