Theorem Mathlib.Vector.mapAccumr₂_bisim

Modification history