OAI/Geometry/Kahler/BaseHessianJet.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.PinchedHartogs.BaseConstruction.ComplexJet2 line 20
2. abbrev OAI.PinchedHartogs.BaseConstruction.RealJet2 line 21
3. def OAI.PinchedHartogs.BaseConstruction.complexHessianJet line 23
4. lemma OAI.PinchedHartogs.BaseConstruction.dz_dbar_jet line 34
5. def OAI.PinchedHartogs.BaseConstruction.realHessianJet line 47
6. lemma OAI.PinchedHartogs.BaseConstruction.baseHessian_eq_jet line 51
7. def OAI.PinchedHartogs.BaseConstruction.realHessianValueJet line 59
8. lemma OAI.PinchedHartogs.BaseConstruction.baseHessian_value_eq_jet line 62