Theorem List.pairwise_disjoint_of_coe_toFinset_pairwiseDisjoint

Modification history