Theorem Fin.prod_Ioc_succ

Modification history