OAI/Geometry/Kahler/HartogsTensorSymmetry.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.PinchedHartogs.dbar_complexHessian_conj line 14
2. lemma OAI.PinchedHartogs.dbar_dz_star line 26
3. lemma OAI.PinchedHartogs.complexHessian_fourth_reality line 36
4. lemma OAI.PinchedHartogs.complexHessian_curvature_hol line 48
5. lemma OAI.PinchedHartogs.complexHessian_curvature_reality line 64
6. lemma OAI.PinchedHartogs.complexHessian_curvature_anti line 85
7. lemma OAI.PinchedHartogs.liftedBarThird_conj line 92