Theorem isOpen_singleton_true

Modification history