Theorem List.foldl_const

Modification history