Theorem List.append_left_cancel

Modification history