Theorem closure_Ioo

Modification history