Theorem List.prefix_concat_iff

Modification history