OAI/Geometry/PrescribedRicci/PathUniformHigher.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Path Uniform Higher.

  1. lemma OAI.GlobalElliptic.weighted_cutoff_reconstruction line 25
  2. lemma OAI.GlobalElliptic.GluingData.path_patch_gain line 48
  3. lemma OAI.GlobalElliptic.GluingData.volumePath_uniform_gain line 60
  4. theorem OAI.GlobalElliptic.GluingData.volumePath_uniform_all line 108