OAI/MathematicalPhysics/DefocusingNLS/Profile/RadialSpectralCanonicalKernelSequence.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Nonzero canonical compact-pencil kernels along a sequence of actual radial modes.

  1. theorem OAI.DefocusingNLS.radialSpectralMode_canonical_kernel_sequence line 13