Picard-Lindelöf theorem

Etymology
Named after Émile Picard and Ernst Lindelöf.

Proper noun

 * 1)  An important theorem on the existence and uniqueness of solutions to first-order equations with given initial conditions.