Theorem Mathlib.Vector.mapAccumr₂_mapAccumr₂_right_right

Modification history