Theorem Set.prod_empty

Modification history