OAI/Geometry/PrescribedRicci/PathUniformForcing.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Path Uniform Forcing.

  1. lemma OAI.GlobalElliptic.GluingData.expAffine_uniform_bound line 36
  2. lemma OAI.GlobalElliptic.GluingData.volumePath_forcing_uniform line 57
  3. lemma OAI.GlobalElliptic.GluingData.uniform_localize line 68
  4. lemma OAI.GlobalElliptic.localize_cutoff_product line 78