Theorem List.getElem?_succ_scanl

Modification history