OAI/Analysis/BiholderTransport/CostGeometry/FirstCutLower.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.WeakMTWTransport.WeakMTW.contracted_segment_concaveOn line 167
2. lemma OAI.WeakMTWTransport.WeakMTW.firstcut_transverse_lower line 179
3. lemma OAI.WeakMTWTransport.WeakMTW.firstcut_kernel_transverse_orthogonal line 202
4. lemma OAI.WeakMTWTransport.WeakMTW.firstcut_radial_lower line 233