OAI/Geometry/Kahler/HartogsGaugeTransfer.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.PinchedHartogs.gaugeLogParameter_normal line 21
2. lemma OAI.PinchedHartogs.metricPotential_normalGauge line 28
3. lemma OAI.PinchedHartogs.normalGauge_hessian_eventually line 35
4. lemma OAI.PinchedHartogs.sectional_normalGauge line 60