Theorem Finset.mul_empty

Modification history