`OAI/Analysis/CoulombRadii/`

4515 declarations, 0 contain sorry, 0 declared as axioms; 428 files

Folders

FieldAnalysis/ 106 files, 1421 declarations
FormDomain/ 46 files, 544 declarations
LimitTheory/ 6 files, 52 declarations
Localization/ 26 files, 294 declarations
Packets/ 52 files, 385 declarations
Propagation/ 33 files, 319 declarations
RadialBounds/ 7 files, 48 declarations
RandomFields/ 58 files, 428 declarations
Screening/ 35 files, 257 declarations
SpectralTheory/ 10 files, 111 declarations
ThomasFermi/ 30 files, 328 declarations
Variational/ 17 files, 307 declarations

Files

Main.lean 1 declarations
Model.lean 20 declarations