Theorem List.get_succ_scanl

Modification history