`OAI/MathematicalPhysics/ContinuumCoulomb/`

14546 declarations, 0 contain sorry, 0 declared as axioms; 1783 files

Folders

ManyBody/ 115 files, 1211 declarations
Nuclei/ 113 files, 609 declarations
OneParticle/ 432 files, 2960 declarations
Programs/ 91 files, 1392 declarations
Quantum/ 940 files, 7770 declarations
Reduction/ 85 files, 604 declarations

Files

Main.lean 6 imports, no declarations
ManyBody.lean 115 imports, no declarations
Nuclei.lean 113 imports, no declarations
OneParticle.lean 432 imports, no declarations
Programs.lean 91 imports, no declarations
Quantum.lean 940 imports, no declarations
Reduction.lean 85 imports, no declarations