Theorem: Etch.Verification.Stream.evalOption_zero (Etch/StreamFusion/Proofs/StreamProof.lean)

State before:
ι : Type
inst✝ : LinearOrder ι
α : Type u_1
q : 0.σ
i : ι
⊢ evalOption 0 q i = none
Tactic:
simp [Stream.evalOption]
State after:
no goals