OAI/Analysis/CoulombRadii/RandomFields/CoreBudget.lean
1 declarations, 0 contain sorry, 0 declared as axioms
- theorem
OAI.Coulomb.RecordedEnsemble.atomic_zero_offset_core_deletionline 14
OAI/Analysis/CoulombRadii/RandomFields/CoreBudget.lean1 declarations, 0 contain sorry, 0 declared as axioms
OAI.Coulomb.RecordedEnsemble.atomic_zero_offset_core_deletion line 14