Theorem ContT.run_seq

Modification history

2026-04-27 15:18
Mathlib/Control/Monad/Cont.lean
feat: missing lemmas for `ContT.run` (#38379) …
Added ContT.run_seqView on Github →