Theorem Finset.empty_mul

Modification history