Theorem Finset.smul_finset_nonempty

Modification history