Published package / CLIR

leray.weak_solutions_1934

v0.1.0

Leray (1934): global-in-time weak solution of Navier-Stokes on R^3 for any divergence-free finite-energy initial data -- weak, not smooth