Theorem Mathlib.Vector.mapAccumr₂_eq_map₂_of_constant_state

Modification history