Theorem List.next_getElem

Modification history