Theorem Vector.tail_nil

Modification history