Theorem closure_Ioc

Modification history