Theorem Mathlib.Vector.mapAccumr_nil

Modification history