OAI/MathematicalPhysics/DefocusingNLS/Nonlinear/PhysicalModulationParameters.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

The invertible leading map for the fourteen modulation parameters

  1. def OAI.DefocusingNLS.physicalModulationParameterEquiv line 9
  2. theorem OAI.DefocusingNLS.physicalModulationParameterEquiv_apply line 34