Theorem ContT.run_pure

Modification history

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