Theorem List.prefix_append_right_inj

Modification history