Theorem isOpen_coinduced

Modification history