Theorem Mathlib.Vector.mapAccumr_mapAccumr

Modification history