Theorem Set.subsingleton_isTop

Modification history