Theorem Set.singleton_prod_singleton

Modification history