OAI/Geometry/PrescribedPotential/ParameterCoreBounds.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

Parameter Core Bounds.

  1. lemma OAI.SobolevChart.CoreBound.list_sum line 21
  2. lemma OAI.SobolevChart.coreBound_perturbation line 29
  3. lemma OAI.SobolevChart.coreBound_of_words_base line 34
  4. lemma OAI.FrozenPoisson.ParameterRegularity.schwartzLocal_fixed line 59
  5. theorem OAI.FrozenPoisson.ParameterRegularity.schwartzLocal_word_bound line 80
  6. theorem OAI.FrozenPoisson.ParameterRegularity.schwartzLocal_even_bound line 128