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

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