OAI/Geometry/PrescribedPotential/KaehlerSecondDerivatives.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Kaehler Second Derivatives.

  1. lemma OAI.KaehlerCalculus.closed_mixed_symmetry line 19
  2. lemma OAI.KaehlerCalculus.closed_derivative_quadratic line 44
  3. lemma OAI.KaehlerCalculus.ricci_cancellation_at_one line 65