`BookProof.NsSpatialMultiplier.foSymbolCLM_apply` (c : ι → ℝ) (w : ι → V) (x : V) : foSymbolCLM c w x = foSymbolFn c w x

Initializing...

`BookProof.NsSpatialMultiplier.foSymbolCLM_apply` (c : ι → ℝ) (w : ι → V) (x : V) : foSymbolCLM c w x = foSymbolFn c w x · Prove2Me