Theorem Set.singleton_sups

Modification history