Theorem Finset.singleton_mul_inter

Modification history