Alleged Navier Stokes Existence and Smoothness Proof in Lean

• Posted 10 hours ago by ladberg
• 1 points