Theorem Set.singleton_nonempty

Modification history