Theorem Subgroup.exists_zpowers

Modification history