OAI/Geometry/PrescribedRicci/KahlerL2Comparison.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Kahler L2 Comparison.

  1. lemma OAI.GlobalElliptic.finite_norm_sq_le_sum line 21
  2. lemma OAI.GlobalElliptic.smooth_square_bounded line 32
  3. lemma OAI.GlobalElliptic.Localizers.norm_coordinate_le line 40
  4. theorem OAI.GlobalElliptic.Localizers.kahler_L2_comparison line 45