Theorem List.pairwise_pair

Modification history