Theorem Finset.box_succ_eq_sdiff

Modification history