Theorem List.get?_succ_scanl

Modification history