Theorem List.pairwiseDisjoint_iff_coe_toFinset_pairwise_disjoint

Modification history