Theorem closure_Ici

Modification history