Theorem List.foldl_cons

Modification history