Theorem Vector.mapAccumr₂_eq_map₂

Modification history