Theorem List.insertIdx_eraseIdx

Modification history