Theorem List.diff_append

Modification history