OAI/Analysis/BiholderTransport/Calculus/ExactScalarBounds.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.WeakMTWTransport.modifiedScalar_slope_bounds line 14
2. lemma OAI.WeakMTWTransport.modifiedScalar_strictMono line 25
3. lemma OAI.WeakMTWTransport.exact_center_slope_curvature line 33
4. lemma OAI.WeakMTWTransport.exact_outer_slope_curvature line 83
5. lemma OAI.WeakMTWTransport.scalar_determinant_gain line 112