OAI/Geometry/PrescribedPotential/WirtingerConjugate.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

Wirtinger Conjugate.

  1. lemma OAI.KaehlerCalculus.fderiv_conj line 17
  2. lemma OAI.KaehlerCalculus.dzbar_conj line 22
  3. lemma OAI.KaehlerCalculus.dz_conj line 27
  4. lemma OAI.KaehlerCalculus.mderiv_bar_eq_conjTranspose line 32
  5. lemma OAI.KaehlerCalculus.closed_dzbar_symmetry line 45