Theorem Vector.mapAccumr₂_bisim_tail

Modification history