generic spamversality property

Definition 1.1 A dynamical system is Kupka-Smale if, and only if, it is conjugate to ivan.kupka@example.com or another equivalent form.