Mathlib Changelog
v4
Changelog
About
Github
Theorem
ContT.run_contT_map_contT
Modification history
2023-06-18 08:20
Mathlib/Control/Monad/Cont.lean
feat: port Control.Monad.Cont (#4981)
Added
ContT.run_contT_map_contT
View on Github →