Theorem List.getElem_scanr

Modification history