Def Mathlib.Vector.mapAccumr

Modification history