OAI/Geometry/PrescribedPotential/ScalarPrincipalWirtinger.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Scalar Principal Wirtinger.

  1. lemma OAI.KaehlerCalculus.scalar_principal_real line 23
  2. lemma OAI.KaehlerCalculus.wirtinger_re_im line 39
  3. lemma OAI.KaehlerCalculus.inverse_wirtinger_real line 54
  4. lemma OAI.KaehlerCalculus.inverse_wirtinger_complex line 68