Theorem Mathlib.Vector.mapAccumr₂_comm

Modification history