`BookProof.NavierStokesFlow.AffineFiber.hFun_smul` (S : ShiftData ι) (a : ℂ) (X : ι → ℂ) (β : ι) : S.hFun (fun α => a * X α) β = a * S.hFun X β

Initializing...

`BookProof.NavierStokesFlow.AffineFiber.hFun_smul` (S : ShiftData ι) (a : ℂ) (X : ι → ℂ) (β : ι) : S.hFun (fun α => a * X α) β = a * S.hFun X β · Prove2Me