Theorem List.foldl_nil

Modification history