Theorem Mathlib.Vector.mapAccumr₂_unused_input_right

Modification history