P
Initializing...
Theorem 5 (Giacomini–Llibre–Viano): limit cycles lie in the zero set of an inverse integrating factor · Prove2Me