OAI/Analysis/CoulombRadii/FieldAnalysis/PatchNegativeMean.lean
1 declarations, 0 contain sorry, 0 declared as axioms
- theorem
OAI.Coulomb.exists_patch_negative_mean_boundline 14
OAI/Analysis/CoulombRadii/FieldAnalysis/PatchNegativeMean.lean1 declarations, 0 contain sorry, 0 declared as axioms
OAI.Coulomb.exists_patch_negative_mean_bound line 14