Theorem interior_Iic

Modification history