Theorem List.append_inj_left

Modification history