Theorem Vector.mapAccumr₂_bisim

Modification history