`OAI/MathematicalPhysics/DefocusingNLS/`

8580 declarations, 0 contain sorry, 0 declared as axioms; 2578 files

Folders

Certificates/ 172 files, 942 declarations
Linear/ 634 files, 2638 declarations
Nonlinear/ 180 files, 610 declarations
Profile/ 684 files, 2012 declarations
Spectrum/ 901 files, 2375 declarations

Files

Certificates.lean 28 imports, no declarations
Linear.lean 59 imports, no declarations
Main.lean 6 imports, no declarations
MainTheorems.lean 3 declarations
Nonlinear.lean 38 imports, no declarations
Profile.lean 53 imports, no declarations
Spectrum.lean 91 imports, no declarations