Theorem interior_Ici'

Modification history