`BookProof.NavierStokesFlow.AffineFiber.hFun_add` (S : ShiftData ι) (X Y : ι → ℂ) (β : ι) : S.hFun (fun α => X α + Y α) β = S.hFun X β + S.hFun Y β

Initializing...

`BookProof.NavierStokesFlow.AffineFiber.hFun_add` (S : ShiftData ι) (X Y : ι → ℂ) (β : ι) : S.hFun (fun α => X α + Y α) β = S.hFun X β + S.hFun Y β · Prove2Me