Theorem Finset.inter_product

Modification history