Theorem Finset.prod_union_eq_right

Modification history