Theorem Set.singleton_unop

Modification history