Theorem List.pairwise_append

Modification history