Theorem List.getElem?_scanr

Modification history