OAI/Analysis/CoulombRadii/FieldAnalysis/CoulombTest.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Coulomb.tfCoulomb_cauchy line 17
2. lemma OAI.Coulomb.tfExtend_toLp line 31
3. def OAI.Coulomb.testCharge line 39
4. lemma OAI.Coulomb.testCharge_continuous line 43
5. lemma OAI.Coulomb.testCharge_compact line 48
6. lemma OAI.Coulomb.testCharge_zero line 56
7. lemma OAI.Coulomb.testCharge_potential line 61
8. lemma OAI.Coulomb.tfCoulomb_testCharge line 73
9. lemma OAI.Coulomb.coulomb_smooth_test line 100
10. lemma OAI.Coulomb.raw_coulomb_smooth_test line 118