Cauchy–Peano theorem

GPTKB entity