Theorem Fin.prod_Icc_succ

Modification history