Comment by u1hcw9nx

For any practical application, numerical solvers for Navier-Stokes already exist and do a good job.

This proof is just checking the boxes for mathematicians.