Theorem Finset.mul_nonempty

Modification history