OAI/Geometry/PrescribedPotential/ParameterSchwartz.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

Parameter Schwartz.

  1. lemma OAI.SobolevChart.schwartz_mul_temperate_distribution line 21
  2. def OAI.SobolevChart.representativePerturbation line 36
  3. lemma OAI.SobolevChart.representativePerturbation_distribution line 41
  4. theorem OAI.FrozenPoisson.ParameterRegularity.exists_schwartz_local line 66
  5. def OAI.FrozenPoisson.ParameterRegularity.schwartzLocalValue line 97
  6. lemma OAI.FrozenPoisson.ParameterRegularity.schwartzLocalValue_distribution line 103
  7. def OAI.FrozenPoisson.ParameterRegularity.schwartzLocal line 112
  8. lemma OAI.FrozenPoisson.ParameterRegularity.schwartzLocal_coord line 127