Theorem SeminormedCommGroup.mem_closure_iff

Modification history