Theorem Finset.smul_expect

Modification history