mathlib3
feat(category/fold): `foldl` and `foldr` for `traversable` structures
#376
Merged
Merged