Theorem closure_singleton

Modification history