Theorem List.append_inj_right'

Modification history