Theorem List.pairwise_map

Modification history