Theorem interior_Ioi

Modification history