OAI/MathematicalPhysics/DefocusingNLS/Nonlinear/FiniteSymmetryDimension.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Dimension of a generator with only the three physical symmetry eigenvalues

  1. theorem OAI.DefocusingNLS.finite_symmetry_dimension_le line 10