Theorem Set.singleton_sups_singleton

Modification history