Theorem Set.singleton_def

Modification history