Theorem Finset.pairwiseDisjoint_smul_iff

Modification history