Theorem Finset.mem_mul

Modification history