Theorem List.pairwise_repeat

Modification history