On the weak–strong uniqueness of Koch–Tataruʼs solution for the Navier–Stokes equations

We prove the weak–strong uniqueness between Koch–Tataruʼs solution and Lerayʼs weak solution for three-dimensional incompressible Navier–Stokes equations.