Theorem List.head_scanl

Modification history