Theorem List.foldl_op_eq_op_foldr_assoc

Modification history