Theorem List.foldl_join

Modification history