Theorem List.pairwise_singleton

Modification history