Theorem List.append_right_cancel

Modification history