Theorem List.append_right_injective

Modification history