OAI/Geometry/Kahler/HartogsLiftedJets.lean

GitHub source file

20 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.PinchedHartogs.baseHessian_contDiffAt line 14
  2. lemma OAI.PinchedHartogs._root_.OAI.ContDiffAt.hartogs_baseHessian line 23
  3. lemma OAI.PinchedHartogs.liftedHessian_horizontal line 32
  4. lemma OAI.PinchedHartogs.liftedHessian_vertical_left line 39
  5. lemma OAI.PinchedHartogs.liftedHessian_vertical_right line 45
  6. lemma OAI.PinchedHartogs.liftedHessian_horizontal_eventually line 51
  7. lemma OAI.PinchedHartogs.liftedHessian_vertical_left_eventually line 59
  8. lemma OAI.PinchedHartogs.liftedHessian_vertical_right_eventually line 66
  9. lemma OAI.PinchedHartogs.liftedThird_horizontal line 73
  10. lemma OAI.PinchedHartogs.liftedBarThird_horizontal line 81
  11. lemma OAI.PinchedHartogs.liftedThird_vertical_middle line 89
  12. lemma OAI.PinchedHartogs.liftedThird_vertical_right line 94
  13. lemma OAI.PinchedHartogs.liftedThird_vertical_left_horizontal line 99
  14. lemma OAI.PinchedHartogs.liftedThird_vertical_left line 106
  15. lemma OAI.PinchedHartogs.liftedFourth_horizontal line 114
  16. lemma OAI.PinchedHartogs.liftedFourth_vertical_middle line 132
  17. lemma OAI.PinchedHartogs.liftedFourth_vertical_right line 138
  18. lemma OAI.PinchedHartogs.liftedFourth_vertical_left line 144
  19. lemma OAI.PinchedHartogs.liftedFourth_vertical_second_horizontal line 153
  20. lemma OAI.PinchedHartogs.liftedFourth_vertical_second line 169