Theorem List.getElem_scanr_zero

Modification history