Theorem List.append_right_inj

Modification history