Theorem Finset.pairwiseDisjoint_coe

Modification history