Theorem List.insertIdx_eraseIdx_getElem

Modification history