Theorem Mathlib.Vector.mapAccumr_mapAccumr₂

Modification history