Theorem Finset.mul_singleton

Modification history