OAI/Geometry/PrescribedRicci/JetRemainderBound.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Jet Remainder Bound.

  1. lemma OAI.TameInterpolation.lpNorm_complex_prod_L2_Linf line 21
  2. lemma OAI.TameInterpolation.monoEval_tame_zero line 53
  3. theorem OAI.TameInterpolation.monoRemainder_uniform_bound line 83