Comment by alecst

Solving Navier-Stokes and quasi-RH is “average” now?