OAI/Geometry/WeakHessian/LocalBounds/ClampTimeVal.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.WeakHessian.clampTime_val_eq line 41
2. lemma OAI.WeakHessian.hasControlBound_of_memLp line 44
3. lemma OAI.WeakHessian.join_distance_integral line 65
4. lemma OAI.WeakHessian.hasControlBound_join line 115