Theorem isOpen_discrete

Modification history