OAI/MathematicalPhysics/DefocusingNLS/Linear/HomogeneousDiagonalCoordinates.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Diagonal real coordinates of the actual whole-space evolution

  1. theorem OAI.DefocusingNLS.homogeneousDiagonalCoordinates_inverse line 16