Theorem Finset.box_succ_disjUnion

Modification history