Theorem Finset.smul_finset_union

Modification history