Theorem Finset.singleton_mul

Modification history