Theorem Set.Subsingleton.closure

Modification history