Theorem List.diff_eq_foldl

Modification history