OAI/Geometry/PrescribedRicci/KahlerLocalL2Comparison.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

Kahler Local L2 Comparison.

  1. lemma OAI.Anticanonical.SourceSmooth.KaehlerMetric.chartIntegral_eq_localize line 20
  2. lemma OAI.Anticanonical.SourceSmooth.KaehlerMetric.chart_weighted_integrable line 29
  3. lemma OAI.Anticanonical.SourceSmooth.KaehlerMetric.compact_volume_bounds line 37
  4. lemma OAI.GlobalElliptic.square_weight_support line 58
  5. lemma OAI.GlobalElliptic.local_weighted_L2_comparison line 67