Theorem isClosed_Ici

Modification history