Theorem: Image.width_ofFn (Ray/Render/Image.lean)

State before:
f : ℕ → ℕ → Color UInt8
w h chunk : ℕ
⊢ (ofFn w h chunk f).width = w
Tactic:
rw [ofFn]
State after:
no goals