OAI/Geometry/PrescribedRicci/RoughEllipticGain.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Rough Elliptic Gain.

  1. lemma OAI.FrozenPoisson.parameterResolvent_forward line 19
  2. lemma OAI.FrozenPoisson.fixed_of_differential_equation line 33
  3. theorem OAI.FrozenPoisson.rough_equation_memSobolev line 51