Theorem Fin.prod_ioi_zero

Modification history