OAI/Analysis/CoulombRadii/Screening/AtomicBudgetHistory.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.Coulomb.AtomicBudgetHistory line 13
2. def OAI.Coulomb.AtomicBudgetHistory.center line 26
3. lemma OAI.Coulomb.AtomicBudgetHistory.center_nonzero line 29
4. theorem OAI.Coulomb.AtomicBudgetHistory.append line 35