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

State before:
f : ℕ → Color UInt8
n chunk : ℕ
⊢ (parallel_colors f n chunk).size = n * 4
Tactic:
simp only [parallel_colors, size_parallel_colors']
State after:
no goals