Theorem Mathlib.Vector.head_ofFn

Modification history