Theorem Mathlib.Vector.map₂_cons

Modification history