Theorem Traversable.foldrm.ofFreeMonoid_comp_of

Modification history

2026-10-10 12:26
Mathlib/Control/Fold.lean
chore: rename `Traversable.foldlm`/`foldrm` to `foldlM`/`foldrM` (#44641) …
Deleted Traversable.foldrm.ofFreeMonoid_comp_ofView on Github →
2023-04-10 18:30
Mathlib/Control/Fold.lean
feat: port Control.Fold (#2341)
Added Traversable.foldrm.ofFreeMonoid_comp_ofView on Github →