OAI/MathematicalPhysics/DefocusingNLS/Nonlinear/FiniteCoordinateComplete.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Completeness of the image of finite-dimensional real coordinates.

  1. theorem OAI.DefocusingNLS.finiteCoordinate_complete line 9