Theorem Fin.prod_univ_one

Modification history