OAI/Geometry/PrescribedRicci/JetTameProduct.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Jet Tame Product.

  1. lemma OAI.TameInterpolation.jet_exponent_recurrence line 22
  2. theorem OAI.TameInterpolation.jet_tame_product line 42