OAI/Analysis/CoulombRadii/Packets/FineNear.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Coulomb.fineKernel_near_coulomb_le line 13
2. theorem OAI.Coulomb.retainedFine_near_le line 36
3. lemma OAI.Coulomb.fineKernel_raw_deficit line 45
4. theorem OAI.Coulomb.patchFine_raw_deficit line 63