Theorem List.chain'_iff_pairwise

Modification history