Registry · Theorem IV.T357 framework not_formalized IV.T357 — τ-Navier--Stokes Equation In the viscous regime (d_1 > 0, d_3 > 0), the defect density and velocity v on T^2 satisfy: align Book IV Part 7 Ch. 59