Theorem Set.list_prod_subset_list_prod

Modification history