Theorem isOpen_induced

Modification history