Theorem Mathlib.Vector.mapAccumr_map

Modification history