Theorem Finset.product_eq_biUnion_right

Modification history