Theorem Mathlib.Vector.head_cons

Modification history