An Onsager singularity theorem for Leray solutions of incompressible Navier–Stokes | Synapse