Theorem List.foldl_ext

Modification history