OAI/Geometry/PrescribedPotential/ParameterLocal.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

Parameter Local.

  1. lemma OAI.FrozenPoisson.parameter_resolvent_perturbation_bound line 21
  2. def OAI.FrozenPoisson.parameterCorrection line 36
  3. lemma OAI.FrozenPoisson.parameterCorrection_equation line 43
  4. lemma OAI.FrozenPoisson.parameterCorrection_bound line 54
  5. def OAI.FrozenPoisson.parameterLocal line 76
  6. lemma OAI.FrozenPoisson.parameterLocal_bound line 82
  7. lemma OAI.FrozenPoisson.parameterLocal_equation line 95
  8. def OAI.FrozenPoisson.parameterLocalZero line 112
  9. lemma OAI.FrozenPoisson.parameterLocalZero_distribution line 119
  10. lemma OAI.FrozenPoisson.parameterLocalZero_bound line 132
  11. def OAI.FrozenPoisson.parameterLocalFirst line 143
  12. lemma OAI.FrozenPoisson.parameterLocalFirst_distribution line 149
  13. lemma OAI.FrozenPoisson.parameterLocalFirst_bound line 158