OAI/MathematicalPhysics/DefocusingNLS/Spectrum/SpectralGaugeSecondTest.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The pressure-free gauge equation tested against an arbitrary smooth component; choosing the first component controls its L2 mass.

  1. theorem OAI.DefocusingNLS.spectralGaugeSecond_test_pairing line 11