Theorem Fin.prod_Ioc_castSucc

Modification history