Theorem closure_Iic

Modification history