Theorem isOpen_induced_eq

Modification history