Control.Fold !4#2341

Stream: PR reviews

[Ruben Van de Velde]

@Scott Morrison you said this looked good modulo one comment, which has been fixed since. Would you have a moment for another review or should I rebase it first? (Doesn't look like there have been changes on the mathlib3 side)