OAI/MathematicalPhysics/DefocusingNLS/Profile/RadialExteriorExpansionLimit.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Large-power convergence of every fixed exterior expansion coefficient.

  1. theorem OAI.DefocusingNLS.radialExteriorExpansion_coefficient_limit line 11