OAI/Geometry/PrescribedRicci/NormalizeVolumePath.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Normalize Volume Path.

  1. lemma OAI.Anticanonical.SourceSmooth.KaehlerMetric.positive_add_constant line 22
  2. lemma OAI.Anticanonical.SourceSmooth.KaehlerMetric.logRatio_add_constant line 30
  3. lemma OAI.Anticanonical.SourceSmooth.KaehlerMetric.normalizeVolumePath line 41