Theorem Vector.get_append_cons_succ

Modification history