Theorem List.append_inj

Modification history