Theorem Finset.Finset.pairwise_subtype_iff_pairwise_finset

Modification history