A simplified proof of the o-minimal Whitney Extension Theorem

We give a proof of the o-minimal version of the Whitney Extension Theorem simplified as compared to the original ones. A new simplifying ingredient is a definable variant of Urysohn’s lemma for class ${\mathcal{C}}^q$ (see Section 3).