Theorem List.getElem_indexOf

Modification history