Disproving the Existence of Global Smooth Solutions to the Navier-Stokes Equation | Synapse