Theorem Finset.smul_empty

Modification history