Theorem Finset.box_succ_union_prod

Modification history