Theorem Finset.mk_mem_product

Modification history