Cartan–Kähler theorem
In mathematics, the Cartan–Kähler theorem is a major result on the integrability conditions for differential systems, in the case of analytic functions, for differential ideals I {\displaystyle I} . It is named for Élie Cartan and Erich Kähler.