Theorem Set.sups_singleton

Modification history