Theorem Fin.prod_univ_succ

Modification history