Theorem interior_Iio

Modification history