OAI/Analysis/CoulombRadii/FieldAnalysis/WeightedExterior.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Coulomb.weighted_raw_inner_exterior_abs_le line 13
2. lemma OAI.Coulomb.weightedInnerField_exterior_abs_le line 31
3. lemma OAI.Coulomb.potentialForm_bounded_tendsto line 42
4. lemma OAI.Coulomb.potentialForm_sum_values line 59
5. lemma OAI.Coulomb.weightedInnerField_sum_weights line 69
6. lemma OAI.Coulomb.deletionShellWeight_sum_supported line 76
7. lemma OAI.Coulomb.deletionShellWeight_sum_tendsto line 83
8. lemma OAI.Coulomb.weightedInnerField_shell_partial_tendsto line 97