OAI/MathematicalPhysics/DefocusingNLS/Certificates/ApproximateNullLimit.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Preservation of a null limit under arbitrarily close null approximations

  1. theorem OAI.DefocusingNLS.tendsto_zero_of_null_approximations line 11