Theorem finprod_mem_univ

Modification history