Def Traversable.foldlM

Modification history

2026-10-10 12:26

Mathlib/Control/Fold.lean

chore: rename `Traversable.foldlm`/`foldrm` to `foldlM`/`foldrM` (#44641) …

Added Traversable.foldlM View on Github →