Theorem Mathlib.Vector.mapAccumr₂_mapAccumr₂_left_right

Modification history