Theorem Mathlib.Vector.mapAccumr_snoc

Modification history