Theorem Finset.smul_union

Modification history