Theorem IsIntegralCurveAt.comp_sub

Modification history

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