OAI/Analysis/CoulombRadii/Packets/NearLpCoulomb.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Coulomb.coulombKernel_fiveHalves_integrableOn_ball line 13
2. lemma OAI.Coulomb.coulombKernel_fiveHalves_ball_integral line 22
3. lemma OAI.Coulomb.translated_coulomb_power_ball_integral line 64
4. lemma OAI.Coulomb.translated_coulomb_memLp_fiveHalves line 75
5. theorem OAI.Coulomb.near_coulomb_holder line 95