Theorem List.foldl_eq_foldr

Modification history