Def ContT.mk

Modification history

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