Theorem Mathlib.Vector.head?_toList

Modification history