Non sono un esperto, ma in 10 anni di attività sportiva agonistica ho imparato che lo stretching è molto importante soprattutto dopo gli allenamenti intensi.
Se fatto pre riscaldamento, ti da la possibilità già nel riscaldamento di eseguire rom più ampi e quindi rendere lo stesso più completo.
Ad ogni modo non vedo controindicazioni nel farlo post riscaldamento.

Ora molto prob. i più esperti (specie da un punto di vista teorico) mi smentiranno alla grande!