Theorem Mathlib.Vector.toList_cons

Modification history