Theorem Vector.map₂_map_right

Modification history