Theorem ContT.run_monadLift

Modification history

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