Theorem Subgroup.dense_iff_ne_zpowers

Modification history