Theorem List.map_eq_append_split

Modification history