IV.R478 — Classical 2D regularity

The fiber-level result has a well-known classical counterpart: the 2D Navier--Stokes equations on compact domains...