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

State before:
ι : Type
α : Type u_1
a b s : Stream ι α
inst✝ : Preorder ι
q : 0.σ
i : ι
⊢ (evalMultiset 0 q) i = 0
Tactic:
simp [Stream.evalMultiset]
State after:
no goals