Theorem Mathlib.Vector.mapAccumr₂_bisim_tail

Modification history