Theorem Vector.removeNth_insertNth'

Modification history