Theorem Finset.smul_finset_def

Modification history