Theorem Set.exists_prod_set

Modification history