Theorem List.concat_get_prefix

Modification history