Theorem List.getElem?_scanl_zero

Modification history