Theorem IsIntegralCurveAt.hasDerivAt

Modification history

2026-03-20 20:42
Mathlib/Analysis/ODE/Basic.lean
feat: IsIntegralCurve for solutions to ODEs (#29186) …
Added IsIntegralCurveAt.hasDerivAtView on Github →