Theorem Fin.prod_cons

Modification history