Theorem Set.prod_mk_mem_set_prod_eq

Modification history