Theorem Vector.head_cons

Modification history