It looks very plausible that stretching before you exercise doesn’t do much for you. Multiple older surveys suggested this.
Annoyingly, the studies linked in the previous paragraph are 2 decades old, and somehow I can’t find a large, well controlled, trial.
Every physical therapist I’ve been to has said that stretching cold muscles is actually more likely to injure you than doing some light cardio to warm up before stretching.
Many sports coaches have said to me that stretching cold muscles worsens your performance and that you should stretch AFTER the exercise to aid recovery
exactly, stretching is to prepare muscles that you are going to be stretching abnormally during whatever exercise you are doing
if you look at rugby players these days they sit on a exercise bike to keep the muscles warmed up. gymnasts will be doing very different warm up