Theorem Finset.image₂_mk_eq_product

Modification history