OAI/Geometry/PrescribedRicci/JetPolynomial.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

Jet Polynomial.

  1. def OAI.TameInterpolation.cword line 19
  2. lemma OAI.TameInterpolation.cword_smooth line 23
  3. lemma OAI.TameInterpolation.cword_compact line 29
  4. def OAI.TameInterpolation.monoEval line 35
  5. def OAI.TameInterpolation.stepState line 38
  6. def OAI.TameInterpolation.stateOrder line 41
  7. def OAI.TameInterpolation.activeSet line 43
  8. lemma OAI.TameInterpolation.stateOrder_step line 45
  9. lemma OAI.TameInterpolation.activeSet_step line 58
  10. lemma OAI.TameInterpolation.monoEval_smooth line 71
  11. lemma OAI.TameInterpolation.cdir_monoEval line 77
  12. lemma OAI.TameInterpolation.cdir_finite_sum line 97
  13. lemma OAI.TameInterpolation.cdir_list_sum line 105