Theorem Vector.get_append_cons_zero

Modification history