On Local Regularity of Distributional Solutions to the Navier--Stokes Equations

We provide a sharp result that guarantees that a distributional solution satisfying the Prodi-Serrin condition is regular in the spatial variables. The solution does not need to belong to the (local) Leray-Hopf class.