Def ContT.monadLift

Modification history

2026-04-27 15:18

Mathlib/Control/Monad/Cont.lean

feat: missing lemmas for `ContT.run` (#38379) …

Deleted ContT.monadLift View on Github →

2023-06-18 08:20

Mathlib/Control/Monad/Cont.lean

feat: port Control.Monad.Cont (#4981)

Added ContT.monadLift View on Github →