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.
I don’t know if stretching reduces injury, but I know if I don’t take a few minutes to work my fingers, wrists, and forearms before hammering at the anvil, I end up with a ton of mis-strikes and cramps until I’m fully warmed up. Precision suffers when I don’t stretch.