Theorem List.last_eq_of_concat_eq

Modification history