Theorem Subgroup.exists_mem_zpowers

Modification history