Theorem Vector.removeNth_val

Modification history