Picard's Existence Theorem/Also known as

Picard's Existence Theorem: Also known as

Picard's Existence Theorem is also known as:

the Picard-Lindelöf Theorem, after Charles Émile Picard and Ernst Leonard Lindelöf

the Cauchy-Lipschitz Theorem, after Augustin Louis Cauchy and Rudolf Otto Sigismund Lipschitz.

Some sources give this as Picard's Theorem but there are other theorems with this appellation so it is better to disambiguate.