Theorem List.foldl_fixed

Modification history