Theorem List.pairwise_iff_coe_toFinset_pairwise

Modification history