OAI/Geometry/PrescribedRicci/UniformDeterminantRemainder.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Uniform Determinant Remainder.

  1. lemma OAI.TameInterpolation.monoEval_compact line 24
  2. lemma OAI.TameInterpolation.list_uniformLp line 32
  3. lemma OAI.TameInterpolation.detJetRemainder_uniform_bound line 46