Theorem Fin.prod_ioi_succ

Modification history