Theorem closure_singleton_eq_Iic

Modification history