Theorem Vector.mapAccumr_bisim

Modification history