Theorem Finset.smul_finset_empty

Modification history