Theorem List.getElem_finRange

Modification history