`BookProof.NavierStokesFlow.AffineFiber.support_hFun` (S : ShiftData ι) (X : ι → ℂ) : Function.support (S.hFun X) ⊆ S.shift '' Function.support X ∪ S.shift ⁻¹' Function.support X

Initializing...

`BookProof.NavierStokesFlow.AffineFiber.support_hFun` (S : ShiftData ι) (X : ι → ℂ) : Function.support (S.hFun X) ⊆ S.shift '' Function.support X ∪ S.shift ⁻¹' Function.support X · Prove2Me