Theorem List.kerase_append_left

Modification history