`OAI/Analysis/CoulombIonization/`

5848 declarations, 0 contain sorry, 0 declared as axioms; 607 files

Folders

Fermionic/ 36 files, 420 declarations
FieldAnalysis/ 93 files, 904 declarations
FormDomain/ 49 files, 540 declarations
Ionization/ 29 files, 171 declarations
Localization/ 79 files, 848 declarations
RadialBounds/ 154 files, 1321 declarations
ThomasFermi/ 64 files, 587 declarations
Variational/ 101 files, 1036 declarations

Files

Main.lean 2 declarations
Model.lean 19 declarations