Theorem List.reverse_foldl

Modification history