Theorem Vector.cons_head_tail

Modification history