Theorem: ReactionT.Output.merge_stopRequested (Runtime/Reaction/Monad.lean)

State before:
σPE✝ σAE✝ σS✝ : Interface.Scheme
min✝ : Time
o₁ o₂ : Output σPE✝ σAE✝ σS✝ min✝
⊢ ((merge o₁ o₂).stopRequested = true) = (o₁.stopRequested = true ∨ o₂.stopRequested = true)
Tactic:
simp [merge]
State after:
no goals