Theorem isOpen_exterior

Modification history