Theorem Finset.prod_union_eq_left

Modification history