Theorem List.foldl_assoc

Modification history