Theorem isOpen_interior

Modification history