Theorem List.pairwise_join

Modification history