Theorem Mathlib.Vector.head_map

Modification history