[freemint]

> ODEs (out of singular points) have a unique solution for any set of initial conditions

I am not sure if that statement is to weak. In general you can only guarantee the solution of an explicit ODE over some interval if the right hand side is Lipschitz continuous.

[pfortuny]

Well, yes. But the author is assuming it and his equations are C-infinity as a matter of fact.