OAI/MathematicalPhysics/DefocusingNLS/Spectrum/SpectralFullBoundaryError.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The full Green bound controls both the coupled forcing and a remote Robin derivative error relative to the prescribed inner value.

  1. theorem OAI.DefocusingNLS.spectralScalar_full_boundary_error line 12