Theorem Mathlib.Vector.mapAccumr₂_redundant_pair

Modification history