Theorem isIntegralCurveOn_univ

Modification history

2026-03-20 20:42

Mathlib/Analysis/ODE/Basic.lean

feat: IsIntegralCurve for solutions to ODEs (#29186) …

Added isIntegralCurveOn_univ View on Github →