Theorem Mathlib.Vector.mapAccumr_bisim

Modification history