Theorem Mathlib.Vector.map₂_nil

Modification history