OAI/MathematicalPhysics/DefocusingNLS/Spectrum/SpectralFreeGaugeAlgebra.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Algebraic cancellation from the weighted scalar equation to the free gauge equation.

  1. theorem OAI.DefocusingNLS.spectralFreeGauge_algebra line 9