Def Monad.sequence'

Modification history

2025-10-31 08:47
Mathlib/Control/Combinators.lean
chore: remove declarations deprecated before 2025-04-21 (#30759) …
Deleted Monad.sequence'View on Github →
2022-11-06 08:48
Mathlib/Init/Control/Combinators.lean
feat: port Init.Control.Combinators (#530) …
Added Monad.sequence'View on Github →