Theorem List.append_inj_right

Modification history