OAI/Geometry/PrescribedRicci/DirectionalInterpolation.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Directional Interpolation.

  1. lemma OAI.TameInterpolation.directional_lp_interpolation line 20