Def Monad.filter

Modification history

2025-10-31 08:47

Mathlib/Control/Combinators.lean

chore: remove declarations deprecated before 2025-04-21 (#30759) …

Deleted Monad.filter View on Github →

2022-11-06 08:48

Mathlib/Init/Control/Combinators.lean

feat: port Init.Control.Combinators (#530) …

Added Monad.filter View on Github →