Theorem List.foldl1_eq_foldr1

Modification history