OAI/MathematicalPhysics/DefocusingNLS/Spectrum/SpectralNonzeroKernelLimit.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Normalize an eventual sequence of nonzero kernels before taking its compact limit.

  1. theorem OAI.DefocusingNLS.compact_kernel_limit_of_eventually_nonzero line 11