P
Initializing...
`BookProof.NavierStokesGaugeY2.C_half_mul_two` : (C (1 / 2 : ℂ) : NSAlg) * 2 = 1 · Prove2Me