Theorem closure_compl_singleton

Modification history