Poincaré-Bendixson theorem

If a closed, bounded, positively invariant set $𝑆 \subseteq ℝ 2$ contains no fixed points, then $𝐿 𝜔 (𝑆)$ is a limit cycle. #m/thm/dynamics/flow

Proof

#missing/proof

#state/tidy | #lang/en | #SemBr