Definition

It says that if a function is Lipschitz continuous, then the initial value problem has a locally unique solution.

center