Theorem List.getElem?_scanr_zero

Modification history