`OAI/Analysis/CoulombRadii/LimitTheory/`

52 declarations, 0 contain sorry, 0 declared as axioms; 6 files

Files

AdmissibleStage.lean 3 declarations
AtomicOutKinetic.lean 2 declarations
NeutralBaseline.lean 2 declarations
NeutralCountControl.lean 6 declarations
TailFinish.lean 3 declarations
UniformGroundStateCountControl.lean 36 declarations