Theorem Set.prod_singleton

Modification history