mathlib

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