OAI/Geometry/PrescribedRicci/DeterminantJet.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

Determinant Jet.

  1. lemma OAI.TameInterpolation.cword_finite_sum line 23
  2. lemma OAI.TameInterpolation.cword_const_mul line 34
  3. lemma OAI.TameInterpolation.monoEval_single line 48
  4. def OAI.TameInterpolation.detPrincipal line 59
  5. lemma OAI.TameInterpolation.detPrincipal_eq line 63
  6. def OAI.TameInterpolation.detJetRemainder line 91
  7. theorem OAI.TameInterpolation.cword_det_remainder line 96
  8. theorem OAI.TameInterpolation.cword_det_trace line 117