Theorem List.chain_iff_pairwise

Modification history