What are advanced lemmas and theorems, maybe also more recent ones, in the theory of ordinary differential equations that are not contained or not so much emphasized in textbooks on ODE theory?
To give an idea: I would consider the lemma of Gronwall basic.