Cauchy–Lipschitz theorem

GPTKB entity