Local isotropy in turbulent boundary layers at high Reynolds number | Synapse