Theorem isOpen_Iio

Modification history