OAI/Geometry/PrescribedPotential/LogHessianCalculus.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Log Hessian Calculus.

  1. lemma OAI.KaehlerCalculus.wderiv_inv line 18
  2. lemma OAI.KaehlerCalculus.second_wderiv_log_real line 27
  3. lemma OAI.KaehlerCalculus.dzbar_real_eq_conj line 47
  4. lemma OAI.KaehlerCalculus.log_hessian_diagonal line 53