Theorem: Image.get!_parallel_colors (Ray/Render/Image.lean)

State before:
f : ℕ → Color UInt8
n chunk k : ℕ
lt : k < n * 4
⊢ (parallel_colors f n chunk).get! k = (f (k / 4))[↑k]
Tactic:
simp only [parallel_colors, zero_add, get!_parallel_colors' f n 0 chunk k lt]
State after:
no goals