Cauchy–Kowalevski–Kashiwara theorem

GPTKB entity