`BookProof.NavierStokesFlow.AffineFiber.hFun_zero` (S : ShiftData ι) (β : ι) : S.hFun (fun _ : ι => (0 : ℂ)) β = 0

Initializing...

`BookProof.NavierStokesFlow.AffineFiber.hFun_zero` (S : ShiftData ι) (β : ι) : S.hFun (fun _ : ι => (0 : ℂ)) β = 0 · Prove2Me