Theorem List.getElem_scanl_zero

Modification history