Theorem Mathlib.Vector.head_mem

Modification history