Did the mathematicians who got scooped on Navier-stokes benefit from the improved product or did their lifes work get stolen?