Theorem List.Vector.eraseIdx_insertIdx

Modification history