Theorem List.self_eq_append_right

Modification history