Theorem Subgroup.exists_of_mem_closure_range

Modification history