Theorem List.prefix_append

Modification history