OAI/MathematicalPhysics/DefocusingNLS/Spectrum/SpectralRadialTraceIdentity.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

An annular integral representation of the outer radial trace.

  1. theorem OAI.DefocusingNLS.spectral_radial_trace_identity line 11