Picard–Lindelöf theorem
In mathematics, specifically the study of differential equations, the Picard–Lindelöf theorem gives a set of sufficient (but not necessary) conditions under which an initial value problem has a unique solution. It is also known as Picard's existence theorem, the Cauchy–Lipschitz theorem, or the existence and uniqueness theorem.