Theorem Group.mem_closure_union_iff

Modification history