Theorem WriterT.goto_mkLabel'

Modification history

2023-06-18 08:20
Mathlib/Control/Monad/Cont.lean
feat: port Control.Monad.Cont (#4981)
Added WriterT.goto_mkLabel'View on Github →