Theorem List.chain'_pair

Modification history