Theorem Prod.card_box_succ

Modification history