Theorem Vector.tail_cons

Modification history