Theorem Finset.union_smul

Modification history