Theorem Traversable.foldrM_toList

Modification history

2026-10-10 12:26
Mathlib/Control/Fold.lean
chore: rename `Traversable.foldlm`/`foldrm` to `foldlM`/`foldrM` (#44641) …
Added Traversable.foldrM_toListView on Github →