Theorem Mathlib.Vector.map₂_flip

Modification history