OAI/Geometry/PrescribedRicci/LocalDeterminantEquation.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

Local Determinant Equation.

  1. lemma OAI.TameInterpolation.cword_eventuallyEq line 22
  2. lemma OAI.TameInterpolation.cword_add line 30
  3. lemma OAI.TameInterpolation.cwordSchwartz_general line 44
  4. lemma OAI.GlobalElliptic.cofactorBilin_inverse_det line 56
  5. lemma OAI.GlobalElliptic.schwartz_real_trace_expression line 63
  6. lemma OAI.GlobalElliptic.wordHessian_trace_cutoff line 78
  7. theorem OAI.GlobalElliptic.determinant_word_cutoff_trace line 98