OAI/Probability/FirstPassage/ConvexC1.lean
2 declarations, 0 contain sorry, 0 declared as axioms
- lemma
OAI.PlanarFPP.convex_continuous_derivline 13 - lemma
OAI.PlanarFPP.convex_contDiff_oneline 43
OAI/Probability/FirstPassage/ConvexC1.lean2 declarations, 0 contain sorry, 0 declared as axioms
OAI.PlanarFPP.convex_continuous_deriv line 13OAI.PlanarFPP.convex_contDiff_one line 43