Theorem Union_closure_singleton_eq_iff

Modification history