OAI/Analysis/Laughlin/
10424 declarations, 0 contain sorry, 0 declared as axioms; 1279 files
Folders
- Asymptotics/ 15 files, 74 declarations
- Charge/ 10 files, 87 declarations
- Exterior/ 10 files, 63 declarations
- FiniteFlux/ 931 files, 8664 declarations
- Fock/ 26 files, 130 declarations
- FourBody/ 88 files, 410 declarations
- Operators/ 38 files, 139 declarations
- Pair/ 35 files, 168 declarations
- Planar/ 4 files, 49 declarations
- Polynomial/ 17 files, 95 declarations
- Spin/ 54 files, 298 declarations
- Tensor/ 10 files, 46 declarations
- ThreeBody/ 36 files, 181 declarations
Files
- EnergyNonnegative.lean 1 declarations
- GapEstimates.lean 3 imports, no declarations
- Main.lean 2 declarations
- Model.lean 13 declarations
- UniformGap.lean 4 declarations