Theorem Mathlib.Vector.mapAccumr₂_mapAccumr_right

Modification history