OAI/MathematicalPhysics/DefocusingNLS/Nonlinear/FiniteSymmetryDecay.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

A diagonal nonnegative symmetry orbit cannot decay to zero

  1. theorem OAI.DefocusingNLS.finite_symmetry_exp_decay_eq_zero line 13