Theorem Finset.mul_expect

Modification history